[GHC] #1267: Strictness of Integer's enumFrom

GHC trac at galois.com
Wed Apr 4 22:30:24 EDT 2007


#1267: Strictness of Integer's enumFrom
-------------------------------------+--------------------------------------
    Reporter:  sjanssen at cse.unl.edu  |       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
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list