#1267: Strictness of Integer's enumFrom
-------------------------------------+--------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: low | Milestone:
Component: libraries/base | Version: 6.6
Severity: trivial | Keywords:
Difficulty: Easy (1 hr) | Testcase:
Architecture: Unknown | Os: Unknown
-------------------------------------+--------------------------------------
According to the Haskell report "For all four of these Prelude numeric
types, all of the enumFrom family of functions are strict in all their
arguments." (referring to Int, Integer, Float, Double). However,
Integer's enumFrom and enumFromThen are lazy in their parameters.
To reproduce:
main = print $ null [undefined :: Integer ..]
This yields "False", where it should yield _|_.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1267>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs