id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
317	Simplifier doesn't preserve bottoms sometimes	simonmar		"{{{
Here's a test due to Iavor Diatchki
[iavor.diatchki@gmail.com]:

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

ghc 6.4 gives the value True for test2.
}}}"	bug	closed	normal	_|_	Compiler	6.4	fixed			Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown