`forbiddenPredicatesChecker` does not detect forbidden predicates used with `is` operator
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
查看代码分析模块中的 grabPredicateIdentities。修复方法是完全展开 is 运算符的参数，以便检测 is 表达式中使用的 mod/2 等禁止使用的谓词。通过针对提供的 Prolog 示例运行检查器并确认 mod/2 被标记来进行验证。
由索引模型根据 Issue 内容生成。
描述
codeAnalysis:
forbiddenPredicates:
- mod/2
p(X) :- 0 is X mod 2.
% or
p(X) :- 20 is (X mod 2) + (2 * 7).
The usage of mod/2 is not detected.
The detected predicates here are only p/1 and is/2. The fix would be to make grabPredicateIdentities fully expand the arguments of is.
- 主要语言
- Haskell
- 星标
- 0
- 派生
- 1
- 平均合并
- 1 天 17 小时
- 30 天内合并 PR
- 16
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 没有贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
fmidue/prolog-programming-task 的其他 Issue
-
难度 3/5 半天 新手友好度 55/100
fmidue/prolog-programming-task#46 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 25/100
fmidue/prolog-programming-task#42 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 45/100
fmidue/prolog-programming-task#36 · 4 条评论 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 48/100
fmidue/prolog-programming-task#29 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 35/100
fmidue/prolog-programming-task#21 ·
维护者通常 1 天内回复
查看 fmidue/prolog-programming-task 的全部 Issue
相似的 Issue
-
enhancement
难度 2/5 1-3 小时 新手友好度 82/100
alunduil/siren-json.hs#245 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 83/100
objectionary/phino#1807 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
维护者通常 1 天内回复
-
failure: compile
难度 2/5 1-3 小时 新手友好度 67/100
commercialhaskell/stackage#8139 ·