[GHC] #13134: Simplifier ticks exhausted
#13134: Simplifier ticks exhausted -------------------------------------+------------------------------------- Reporter: fumieval | Owner: Type: task | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.0.2 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: -------------------------------------+------------------------------------- When compiling generics-rich code I got this panic. I had to increase `-fsimpl-tick-factor` to 110 to fix the problem. {{{ <no location info>: error: ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): Simplifier ticks exhausted When trying UnfoldingDone f_s1dfn To increase the limit, use -fsimpl-tick-factor=N (default 100) If you need to do this, let GHC HQ know, and what factor you needed To see detailed counts use -ddump-simpl-stats Total ticks: 19189 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I attached the output of `-ddump-simpl-stats`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13134 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13134: Simplifier ticks exhausted -------------------------------------+------------------------------------- Reporter: fumieval | Owner: Type: task | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.0.2 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: | -------------------------------------+------------------------------------- Changes (by fumieval): * Attachment "ddump-simpl-stats" added. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13134 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13134: Simplifier ticks exhausted -------------------------------------+------------------------------------- Reporter: fumieval | Owner: Type: task | Status: infoneeded Priority: low | Milestone: Component: Compiler | Version: 8.0.2 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: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => infoneeded Comment: There's not much we can do unless you show us the code you're compiling. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13134#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#13134: Simplifier ticks exhausted -------------------------------------+------------------------------------- Reporter: fumieval | Owner: Type: task | Status: infoneeded Priority: low | Milestone: Component: Compiler | Version: 8.0.2 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 fumieval): My understanding is that the default is too low so it might happen in a big project. I can try to make a program which would reproduce the panic (not sure if it's useful though). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13134#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC