Ensure that `PairTerm`s and `GroupTerms` are validated/generated correctly
还没有人认领这个 Issue。
评估
调研方向
定位生成器和验证器的入口点，以及规则定义的现有测试。为配对术语 foo 和分组术语 bar 的示例添加覆盖，然后使用项目的测试套件验证两者都能被正确生成和验证。
由索引模型根据 Issue 内容生成。
描述
I suspect that the generator and/or validator won't work with rule definitions that define a pair term or a group term. There should be some tests to ensure that these kinds of rules are generated and validated correctly.
foo = 3 => uint
bar = (uint, bool, string)
- 主要语言
- 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
-
documentation
难度 2/5 1-3 小时 新手友好度 76/100
bittide/bittide-hardware#1357 ·
-
难度 1/5 1 小时以内 新手友好度 76/100
wireapp/wire-server#5690 ·
维护者通常 3 天内回复
-
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 ·