Opened 11 years ago

Closed 11 years ago

Last modified 8 years ago

#1267 closed bug (duplicate)

Strictness of Integer's enumFrom

Reported by: sjanssen@… Owned by:
Priority: low Milestone:
Component: libraries/base Version: 6.6
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 _|_.

Change History (4)

comment:1 Changed 11 years ago by guest

Resolution: duplicate
Status: newclosed

comment:2 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:3 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple

comment:4 Changed 8 years ago by simonmar

difficulty: Easy (1 hr)Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.