Can't apply control operators to values that the rfc considers valid
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Accessibilité débutants
- 35/100
Piste de recherche
Commencez par la branche CtlOp.Lt présentée dans l’issue et comparez son traitement limité à PTUInt avec les formes valides listées ; utilisez l’outil cddl comme référence comportementale. Le travail est terminé lorsque les cinq exemples, ainsi que les cas analogues d’opérateurs de contrôle mentionnés, sont acceptés plutôt que rejetés.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
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.
- 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
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de IntersectMBO/cuddle
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
IntersectMBO/cuddle#168 ·
-
genEnum crashes on empty groupOuvertebug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
IntersectMBO/cuddle#167 ·
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
IntersectMBO/cuddle#166 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 43/100
IntersectMBO/cuddle#223 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
IntersectMBO/cuddle#217 ·
Toutes les issues de IntersectMBO/cuddle
Issues similaires
-
documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
bittide/bittide-hardware#1357 ·
-
tricorder
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
Les mainteneurs répondent en général sous 1 jour
-
Broken links in the docsOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 76/100
wireapp/wire-server#5690 ·
Les mainteneurs répondent en général sous 3 jours
-
bug dependencies
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
alunduil/network-arbitrary#251 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
Les mainteneurs répondent en général sous 1 jour