Skip to content

Simplifier ticks exhausted

Trying to build a (rather simple) project using cabal I get the following error message on a valid program:

ghc: panic! (the 'impossible' happened)

(GHC version 7.6.3 for i386-apple-darwin):

Simplifier ticks exhausted

When trying UnfoldingDone a_syQ{v} [lid]

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: 5080

I tried to increase the limit without success.

More oddly if I try to build directly the program using ghc (same version) it succeeds, therefore I suspect that cabal is somehow the source of my problem.

Trac metadata
Trac field Value
Version 7.6.3
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information