Can't apply control operators to values that the rfc considers valid
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Comienza por la rama CtlOp.Lt mostrada en el issue y compara su tratamiento exclusivo de PTUInt con las formas válidas enumeradas; usa la herramienta cddl como referencia de comportamiento. Se considera terminado cuando los cinco ejemplos, junto con los casos análogos de operadores de control mencionados, se acepten en lugar de rechazarse.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Haskell
- Estrellas
- 8
- Forks
- 5
- Merge medio
- 3 d 12 h
- PR fusionados (30 d)
- 4
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de IntersectMBO/cuddle
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
IntersectMBO/cuddle#168 ·
-
genEnum crashes on empty groupAbiertobug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
IntersectMBO/cuddle#167 ·
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
IntersectMBO/cuddle#166 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 43/100
IntersectMBO/cuddle#223 ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
IntersectMBO/cuddle#217 ·
Todos los issues de IntersectMBO/cuddle
Issues similares
-
agent-ready area:skills
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
jmbarzee/temporal-architect#603 ·
Los mantenedores suelen responder en 1 día
-
bug dependencies
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
alunduil/network-arbitrary#251 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`Posiblemente ocupada @youqad la tomó hace 1 día. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
haskell/statistics#235 ·
-
Bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100