#8655: Evaluate know-to-terminate-soon thunks -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * owner: nomeata => * status: closed => new * resolution: wontfix => Comment: A simple analysis that discovers surely-converging expressions is surely a good thing. I would regret discarding the work you did on that, even if it's not very promising in terms of payoff. Do you have that piece in a branch somewhere? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8655#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler