[GHC] #10852: ghc 7.8.4 on arm - panic: Simplifier ticks exhausted
GHC
ghc-devs at haskell.org
Mon Jan 18 13:15:34 UTC 2016
#10852: ghc 7.8.4 on arm - panic: Simplifier ticks exhausted
---------------------------------------+------------------------------
Reporter: andrewufrank | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.2
Resolution: | Keywords: arm
Operating System: Linux | Architecture: arm
Type of failure: Compile-time crash | Test Case:
Blocked By: | Blocking:
Related Tickets: #5642, #9675 | Differential Rev(s):
Wiki Page: |
---------------------------------------+------------------------------
Comment (by bgamari):
While I have no problem compiling `Conll`, the `Brown` module is indeed
quite problematic, even on my laptop. This module produces an absolutely
absurd amount of Core which appears to originate from the generic
`Serialize` instances for the quite large `Tag` type.
The attached `Test.hs` reproduces the blow-up. While the code size starts
large-but-not insane,
{{{
Result size of Desugar (after optimization)
= {terms: 25,522, types: 972,788, coercions: 376,020}
}}}
Things quickly balloon during float-out,
{{{
*** Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}):
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False})
= {terms: 254,872, types: 3,162,281, coercions: 634,615}
}}}
which the simplifier, through a great deal of effort, manages to reduce
down to,
{{{
Result size of CorePrep
= {terms: 49,840, types: 1,752,631, coercions: 442,468}
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10852#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list