#3458: Allocation where none should happen ---------------------------------+---------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.10.4 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+---------------------------------- Comment (by nomeata): Just for the record: The code {{{ #!haskell f x = let g y = if y then x else g y in case g x of True -> False False -> True }}} in comment:5 would also be improved by the common context transformation proposed here: http://www.haskell.org/pipermail/ghc- devs/2013-December/003481.html -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/3458#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler