Support `LinkedList<@Refined(“x>0”) Integer>`
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
Hướng nghiên cứu
Không có tệp mã nguồn hoặc bài kiểm thử nào được nêu. Hãy bắt đầu bằng cách xem xét cách xử lý refinement hiện có và cách LiquidHaskell xử lý refinement của danh sách, sau đó điều tra việc dịch danh sách sang SMT-LIB và unboxing Integer thành int. Công việc được xem là hoàn tất khi ví dụ LinkedList chấp nhận 10 và từ chối -100.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
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
- Ngôn ngữ chính
- Java
- Star
- 67
- Fork
- 36
- Merge trung bình
- 10 ngày 18 giờ
- Pull request đã merge (30 ngày)
- 3
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của liquid-java/liquidjava
-
enhancement
liquid-java/liquidjava#240 · 1 người được giao ·
-
enhancement ide
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
liquid-java/liquidjava#206 ·
-
tests
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 25/100
liquid-java/liquidjava#198 ·
-
Diagnostic Based Test Results Đang mởtests
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
liquid-java/liquidjava#197 ·
-
tests
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
liquid-java/liquidjava#196 · 2 bình luận ·
Tất cả issue của liquid-java/liquidjava
Issue tương tự
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
-
Two open-case totals on one screen: the Programs tile says 15,858 and the nav badge says 15,868 Đang mởbug frontend maui-pilot
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
objectionary/eo-graphs#74 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100