Show more information when `.cbor` control fails

Ouverte
#149 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
45/100
Type d'issue
Fonctionnalité
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
haskell
Domaine
tooling

Piste de recherche

Commencez par localiser ValidationTrace et le chemin de validation des contrôles CBOR encodés. Ajoutez le cas InvalidCborControl avec la trace de validation CBOR encodée, puis vérifiez qu’un contrôle .cbor non satisfait expose la raison de l’échec de la validation.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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
Langage dominant
Haskell
Étoiles
8
Forks
5
Merge moyen
3 j 12 h
PR mergées (30 j)
4

Préparer son environnement

Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de IntersectMBO/cuddle

Toutes les issues de IntersectMBO/cuddle

Issues similaires

Plus d'issues Haskell

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.