#5539: GHC panic - Simplifier ticks exhausted
---------------------------------+------------------------------------------
Reporter: hvr | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: Compiler | Version: 7.3
Resolution: | Keywords:
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Comment(by hvr):
Here's an example which needs a rather high `-fsimpl-tick-factor` to
compile:
{{{
$ git clone https://github.com/bos/pronk && cd pronk/
$ cabal build --ghc-option=-fsimpl-tick-factor=1500
Building pronk-0.1.0...
Preprocessing library pronk-0.1.0...
[1 of 6] Compiling Paths_pronk ( dist/build/autogen/Paths_pronk.hs,
dist/build/Paths_pronk.o )
[2 of 6] Compiling Network.HTTP.LoadTest.Environment (
lib/Network/HTTP/LoadTest/Environment.hs,
dist/build/Network/HTTP/LoadTest/Environment.o )
[3 of 6] Compiling Network.HTTP.LoadTest.Types (
lib/Network/HTTP/LoadTest/Types.hs,
dist/build/Network/HTTP/LoadTest/Types.o )
[4 of 6] Compiling Network.HTTP.LoadTest.Analysis (
lib/Network/HTTP/LoadTest/Analysis.hs,
dist/build/Network/HTTP/LoadTest/Analysis.o )
ghc: panic! (the 'impossible' happened)
(GHC version 7.4.0.20111215 for x86_64-unknown-linux):
Simplifier ticks exhausted
When trying UnfoldingDone ( base:GHC.ST.ST{v r4bE}
[gid[DataConWrapper]] :: forall ( s{tv a4ef} [tv] :: ghc-
prim:GHC.Prim.*{(w) tc 34d} )
( a{tv a4eg} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ).
base:GHC.ST.STRep{tc rdm}
( s{tv a4ef} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )
( a{tv a4eg} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )
-> base:GHC.ST.ST{tc rdp}
( s{tv a4ef} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} )
( a{tv a4eg} [tv] :: ghc-prim:GHC.Prim.*{(w) tc 34d} ) )
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: 420601
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
When using `-fsimpl-tick-factor=1550` the compilation works
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5539#comment:21>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
