genRange crashes with ClOpen when lower bound equals upper bound
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 72/100
- Tipo di issue
- Bug
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Tranquilla
- Stack tecnologico
- haskell
- Ambito
- testing-qa
Direzione di ricerca
Leggi src/Codec/CBOR/Cuddle/CBOR/Gen.hs, iniziando da genRange e dal suo helper range, e riproduci il caso vuoto 5...5 con limiti ClOpen. Convalida l'intervallo adattato prima di choose o antiChoose, e considera il problema risolto quando gli intervalli vuoti producono un errore chiaro invece di un crash dovuto a un intervallo non valido.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Description
genRange can crash with an invalid choose range when the lower bound equals the upper bound and bounds are ClOpen.
Location
src/Codec/CBOR/Cuddle/CBOR/Gen.hs, genRange function
Details
When a == b and the range bound is ClOpen, the range helper computes (x, pred y), producing an upper bound strictly less than the lower bound. This causes choose/antiChoose to crash with an invalid range.
For example, a CDDL range like 5...5 (exclusive on both ends) results in an empty range that choose cannot handle.
Suggested fix
Validate that the range is non-empty after applying bounds, and emit a clear error message for empty ranges instead of crashing inside choose.
- Lingua principale
- Haskell
- Stelle
- 8
- Fork
- 5
- Merge medio
- 3g 12h
- PR unite (30g)
- 4
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di IntersectMBO/cuddle
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
IntersectMBO/cuddle#168 ·
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
IntersectMBO/cuddle#167 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 43/100
IntersectMBO/cuddle#223 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
IntersectMBO/cuddle#217 ·
-
Nested generic rules get the wrong argument when the outer rule is instantiated more than onceApertabug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
IntersectMBO/cuddle#215 ·
Tutte le issue di IntersectMBO/cuddle
Issue simili
-
agent-ready area:skills
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
jmbarzee/temporal-architect#603 ·
I maintainer di solito rispondono entro 1 giorno
-
bug dependencies
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
alunduil/network-arbitrary#251 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`Forse già presa @youqad l’ha presa 1 giorno fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
haskell/statistics#235 ·
-
Bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100