Can't apply control operators to values that the rfc considers valid
还没有人认领这个 Issue。
评估
调研方向
从 issue 中显示的 CtlOp.Lt 分支开始，将其仅处理 PTUInt 的方式与列出的有效形式进行比较；使用 cddl 工具作为行为参考。完成的标准是：这五个示例以及提到的类似控制运算符案例都被接受，而不是被拒绝。
由索引模型根据 Issue 内容生成。
描述
Because of this code:
(CtlOp.Lt, CTree.Literal (VUInt n)) -> case tt of
CTree.Postlude PTUInt -> S . TInteger <$> genUniformRM (0, fromIntegral n - 1)
_ -> error "Cannot apply lt operator to target"
We can only apply rules like uint .lt 2. It forbids the following cases:
rule1 = nint .lt 2
rule2 = int .lt 2
rule3 = 1..5 .lt 2
rule4 = 1 .lt 2
rule5 = ((1..3) / (1..5)) .lt 2
All these cases are accepted by the cddl tool. The same seems to happen with most of the other control operators.
- 主要语言
- Haskell
- 星标
- 8
- 派生
- 5
- 平均合并
- 3 天 12 小时
- 30 天内合并 PR
- 4
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
IntersectMBO/cuddle 的其他 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
IntersectMBO/cuddle#168 ·
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
IntersectMBO/cuddle#167 ·
-
bug
难度 2/5 1-3 小时 新手友好度 72/100
IntersectMBO/cuddle#166 ·
-
难度 4/5 3-5 天 新手友好度 43/100
IntersectMBO/cuddle#223 ·
-
难度 4/5 3-5 天 新手友好度 48/100
IntersectMBO/cuddle#217 ·
查看 IntersectMBO/cuddle 的全部 Issue
相似的 Issue
-
agent-ready area:skills
难度 2/5 1-3 小时 新手友好度 75/100
jmbarzee/temporal-architect#603 ·
维护者通常 1 天内回复
-
bug dependencies
难度 2/5 1-3 小时 新手友好度 70/100
alunduil/network-arbitrary#251 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`可能已有人在做 @youqad 于 1 天前认领。 未关闭
难度 2/5 1-3 小时 新手友好度 78/100
haskell/statistics#235 ·
-
Bug
难度 2/5 1-3 小时 新手友好度 68/100