Support `LinkedList<@Refined(“x>0”) Integer>`
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Anfängerfreundlichkeit
- 25/100
Rechercherichtung
Es werden keine Quelldateien oder Tests genannt. Beginne damit, die bestehende Behandlung von Refinements und den Umgang von LiquidHaskell mit Listen-Refinements zu untersuchen, und untersuche anschließend die Übersetzung von Listen in SMT-LIB und das Unboxing von Integer zu int. Die Aufgabe ist abgeschlossen, wenn das LinkedList-Beispiel 10 akzeptiert und -100 ablehnt.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
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
- Vorherrschende Sprache
- Java
- Sterne
- 67
- Forks
- 36
- Ø Merge
- 10 T. 18 Std.
- Gemergte PRs (30 T.)
- 3
Beitragsleitfaden
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus liquid-java/liquidjava
-
enhancement
liquid-java/liquidjava#240 · 1 zugewiesene Person ·
-
enhancement ide
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
liquid-java/liquidjava#206 ·
-
tests
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 25/100
liquid-java/liquidjava#198 ·
-
tests
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
liquid-java/liquidjava#197 ·
-
tests
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
liquid-java/liquidjava#196 · 2 Kommentare ·
Alle Issues in liquid-java/liquidjava
Ähnliche Issues
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 85/100
-
Two open-case totals on one screen: the Programs tile says 15,858 and the nav badge says 15,868 Offenbug frontend maui-pilot
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
objectionary/eo-graphs#74 ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100