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 [EMAIL PROTECTED]: >> 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 _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs