Support `LinkedList<@Refined(“x>0”) Integer>`
还没有人认领这个 Issue。
评估
调研方向
未指定源文件或测试。先检查现有的 refinement 处理方式，以及 LiquidHaskell 如何处理列表 refinement，然后研究将列表转换为 SMT-LIB 和将 Integer 解装箱为 int。完成标准是 LinkedList 示例接受 10 并拒绝 -100。
由索引模型根据 Issue 内容生成。
描述
Add support for refining all the items inside a List.
This is a large task with several challenges inside, some of them include:
- supporting list refinements, see how LiquidHaskell handles them;
- how to translate lists to SMT lib;
- unboxing Integer to int.
Small example code:
LinkedList<@Refinement(“x>0”) Integer> li = new ArrayList<Integer>();
li.add(10); // okay
li.add(-100; // error
- 主要语言
- Java
- 星标
- 67
- 派生
- 36
- 平均合并
- 10 天 18 小时
- 30 天内合并 PR
- 3
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
liquid-java/liquidjava 的其他 Issue
-
enhancement
liquid-java/liquidjava#240 · 已指派 1 人 ·
-
enhancement ide
难度 3/5 1-2 天 新手友好度 45/100
liquid-java/liquidjava#206 ·
-
tests
难度 2/5 1-3 小时 新手友好度 25/100
liquid-java/liquidjava#198 ·
-
tests
难度 4/5 3-5 天 新手友好度 25/100
liquid-java/liquidjava#197 ·
-
tests
难度 4/5 3-5 天 新手友好度 35/100
liquid-java/liquidjava#196 · 2 条评论 ·
查看 liquid-java/liquidjava 的全部 Issue
相似的 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 85/100
-
bug frontend maui-pilot
难度 2/5 1-3 小时 新手友好度 72/100
-
难度 2/5 1-3 小时 新手友好度 76/100
objectionary/eo-graphs#74 ·
-
难度 2/5 1-3 小时 新手友好度 72/100
-
难度 2/5 1-3 小时 新手友好度 65/100