enumFrom on basic numeric types should be strict
The haskell report in section 6.3.4 states that "For all four of these Prelude numeric types, all of the enumFrom family of functions are strict in all their arguments.", however, with Integer, Float, and Double, this is not the case. As tests/ghc-regress/KNOWN_FAILURES notes, this may be a bug in the prelude, as the reference implementation is not strict on its arguments, however I believe the text in 6.3.4 should be accepted as normative, as this behavior has confused users in the past ( http://www.haskell.org/pipermail/haskell-cafe/2007-January/021133.html ), and there is little legitimate usage for a list of [undefined..]::Integer.
Trac metadata
Trac field | Value |
---|---|
Version | 6.6 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | libraries/base |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | Unknown |
Architecture | Unknown |