Cuddle does not properly generate `.and` rules

Offen
#72 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Anfängerfreundlichkeit
42/100
Issue-Typ
Bug
Klarheit
Größtenteils klar
Aktivitätsstatus
Veraltet
Tech-Stack
haskell
Bereich
compilers, tooling

Rechercherichtung

Beginne damit, das Problem mit gen ctrland std-cddl/int.cddl; pretty nachzustellen, wobei du die im Bericht gezeigte ctrland-Definition verwendest. Verfolge, wie der Generator die .and-Kombination verarbeitet, und betrachte die Arbeit als abgeschlossen, wenn die generierte Ausgabe beide Einschränkungen beibehält, statt nur unsigned(1) zu erzeugen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

bug
➜  cuddle git:(js/validator) ✗ gen ctrland std-cddl/int.cddl; pretty
01 # unsigned(1)

Where ctrland is defined as:

ctrland = (uint .lt 3) .and (uint .gt 1)
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

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus IntersectMBO/cuddle

Alle Issues in IntersectMBO/cuddle

Ähnliche Issues

Weitere Issues zu Haskell

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.