Opened 9 years ago

Closed 9 years ago

Last modified 6 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: 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 9 years ago by guest

  • Resolution set to duplicate
  • Status changed from new to closed

comment:2 Changed 7 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:3 Changed 7 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:4 Changed 6 years ago by simonmar

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