[ ghc-Bugs-1156596 ] Simplifier doesn't preserve bottoms sometimes

[SourceForge.net]

Bugs item #1156596, was opened at 2005-03-04 11:21
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1156596&group_id=8032

Category: Compiler
Group: 6.4
Status: Open
Resolution: None
Priority: 4
Submitted By: Simon Marlow (simonmar)
Assigned to: Simon Peyton Jones (simonpj)
Summary: Simplifier doesn't preserve bottoms sometimes

Initial Comment:
Here's a test due to Iavor Diatchki
[iavor.diatchki at gmail.com]:

>> test2  :: Bool
>> test2   = stops (bot ())
>>   where
>>   stops  :: Int# -> Bool
>>   stops _ = True

ghc 6.4 gives the value True for test2.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1156596&group_id=8032