#14338: Simplifier fails with "Simplifier ticks exhausted" -------------------------------------+------------------------------------- Reporter: dredozubov | Owner: bgamari Type: bug | Status: new Priority: high | Milestone: 8.4.1 Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash or panic | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dredozubov): I've seen quite a lot `HModify` and `HGet` popping up in a core dump, but haven't realized it's linked to coercions. The comments above supports my experience with this piece of code and the issue. The issue definitely arises when increasing the length of a type-level list `AppPayload` in this case. In the context of a larger project, it was pretty difficult to pinpoint, an additional servant endpoint can trigger it for example. Do I understand correctly that you're referring to the idea of dropping explicit coercions for compilation without `-dcore-lint`? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14338#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler