Can't apply control operators to values that the rfc considers valid
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 35/100
Rechercherichtung
Beginne beim im Issue gezeigten CtlOp.Lt-Zweig und vergleiche dessen PTUInt-only-Behandlung mit den aufgeführten gültigen Formen; verwende das cddl-Tool als Verhaltensreferenz. Die Aufgabe ist erledigt, wenn die fünf Beispiele zusammen mit den erwähnten analogen Kontrolloperator-Fällen akzeptiert statt abgelehnt werden.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
Because of this code:
(CtlOp.Lt, CTree.Literal (VUInt n)) -> case tt of
CTree.Postlude PTUInt -> S . TInteger <$> genUniformRM (0, fromIntegral n - 1)
_ -> error "Cannot apply lt operator to target"
We can only apply rules like uint .lt 2. It forbids the following cases:
rule1 = nint .lt 2
rule2 = int .lt 2
rule3 = 1..5 .lt 2
rule4 = 1 .lt 2
rule5 = ((1..3) / (1..5)) .lt 2
All these cases are accepted by the cddl tool. The same seems to happen with most of the other control operators.
- Vorherrschende Sprache
- Haskell
- Sterne
- 8
- Forks
- 5
- Ø Merge
- 3 T. 12 Std.
- Gemergte PRs (30 T.)
- 4
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
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 IntersectMBO/cuddle
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
IntersectMBO/cuddle#168 ·
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
IntersectMBO/cuddle#167 ·
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
IntersectMBO/cuddle#166 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 43/100
IntersectMBO/cuddle#223 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
IntersectMBO/cuddle#217 ·
Alle Issues in IntersectMBO/cuddle
Ähnliche Issues
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
compiler-explorer/compiler-explorer#9561 ·
Maintainer antworten meist innerhalb von 1 Tag
-
documentation
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
bittide/bittide-hardware#1357 ·
-
tricorder
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
Maintainer antworten meist innerhalb von 1 Tag
-
Broken links in the docsOffen
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 76/100
wireapp/wire-server#5690 ·
Maintainer antworten meist innerhalb von 3 Tagen
-
bug dependencies
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100
alunduil/network-arbitrary#251 ·
Maintainer antworten meist innerhalb von 1 Tag