genControl .lt crashes when controller literal is 0
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 78/100
Línea de trabajo
Abre src/Codec/CBOR/Cuddle/CBOR/Gen.hs y comienza en genControl, centrándote en el caso CtlOp.Lt para PTUInt. Reproduce la entrada controller-literal-0 y verifica que informe de un error claro de rango vacío en lugar de bloquearse, mientras el comportamiento de generación existente permanece sin cambios.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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).
- 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
-
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 ·
-
Nested generic rules get the wrong argument when the outer rule is instantiated more than onceAbiertobug
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
IntersectMBO/cuddle#215 ·
Todos los issues de IntersectMBO/cuddle
Issues similares
-
documentation
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
bittide/bittide-hardware#1357 ·
-
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