Ticket #19 (closed defect: fixed)
SPEC interferes with optimisations
|Reported by:||rl||Owned by:|
Since SPEC is a sum type and we immediately inspect it in a loop, the demand analyser can't infer the strictness of the other loop arguments. Perhaps seq on it instead of pattern matching? Originally spotted while working on #18.