genControl .lt crashes when controller literal is 0

Ouverte Adaptée aux débutants
#168 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
2/5
Temps estimé
1-3 heures
Accessibilité débutants
78/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
Calme
Stack technique
haskell
Domaine
tooling

Piste de recherche

Ouvrez src/Codec/CBOR/Cuddle/CBOR/Gen.hs et commencez par genControl, en vous concentrant sur le cas CtlOp.Lt pour PTUInt. Reproduisez l’entrée controller-literal-0, puis vérifiez qu’une erreur claire de plage vide est signalée au lieu de provoquer un plantage, tout en laissant inchangé le comportement de génération existant.

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

Description

bug

Description

genControl crashes when the .lt operator is used with a controller literal of 0, because choose receives an invalid range.

Location

src/Codec/CBOR/Cuddle/CBOR/Gen.hs, genControl function

Details

(CtlOp.Lt, CTree.Literal (Value (VUInt n) _)) -> case target of
  CTree.Postlude PTUInt -> S . TInteger <$> choose (0, fromIntegral n - 1)

When n == 0, choose (0, fromIntegral n - 1) becomes choose (0, -1), which is an invalid range.

Suggested fix

Handle n == 0 explicitly with a clear error message about the empty range (there are no unsigned integers less than 0).

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.