#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 simonpj):
Dear hvr: thank you, but I'm afraid I don't think your test case helps.
You have set up a situation in which
* `baz0` makes 12 calls to `foo`.
* `baz1` makes 12 calls to `baz0`, and hence 12*12 calls to `foo`.
* `baz2` makes 12 calls to `baz1`, and hence 12*12*12 calls to `foo`.
and so on. So you are '''specifying exponential program size''' in your
INLINE pragmas, and GHC obediently obeys you.
I don't ''think'' this is what is happening in the other cases.
But maybe it is... the common factor seems to be `vector-algorithms`.
Maybe that has a crazy-large inlining in it.
A repro case would be welcome. Meanwhile I'll try to follow up myself
too.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5539#comment:27>
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
