Show more information when `.cbor` control fails

Offen
#149 0 Kommentare 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
45/100
Issue-Typ
Feature
Klarheit
Größtenteils klar
Aktivitätsstatus
Veraltet
Tech-Stack
haskell
Bereich
tooling

Rechercherichtung

Beginne damit, ValidationTrace und den Validierungspfad für codierte CBOR-Steuerelemente zu finden. Füge den Fall InvalidCborControl mit dem codierten CBOR-Validierungs-Trace hinzu und überprüfe anschließend, dass ein nicht erfülltes .cbor-Steuerelement offenlegt, warum die Validierung fehlgeschlagen ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

It should be relatively easy to show why a .cbor control is unsatisfied. We have access to the validation trace of the encoded CBOR, so it's just a matter of adding a new constructor to ValidationTrace that stores that trace and then adding that constructor to the trace when the validation on encoded CBOR fails.

data ValidationTrace (v :: Validity) where
  ...
  InvalidCborControl :: CTree ValidatorStageSimple -> ValidationTrace IsInvalid -> ValidationTrace IsInvalid
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.