#13723: Recover gracefully from simplifier tick exhaustion -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Currently if the limit is exceeded we stop. It would be better if, when the limit was exceeded we refrained from doing the relevant transformation. That opens up a new debugging mechanism. If you get a Lint error you can binary-chop your way to exactly the transformation that introduced it. But it does impose a cost; every transformation needs a conditional, and a code-path for not doing the transformation. We'd need to check what perf impact this had. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13723#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler