Skip to content

simplifier causes stack overflow in ghc-6.8.0.20070916

In order to reproduce the bug, you'll have to checkout uni:

svn co https://svn-agbkb.informatik.uni-bremen.de/uni/trunk uni

install the package HaXml-1.13.2 (to be found as uni/HaXml/HaXml.tgz) The packages pretty and containers have be added to HaXml.cabal.

Within uni call:

./configure
make packages

Compilation fails with:

FileDialog.hs:742:0:
    Warning: Definition but no type signature for `deleteFileImg'
             Inferred type: deleteFileImg :: IO Image
*** Desugar:
    Result size = 5899
*** Simplify:
    Result size = 4328
    Result size = 4254
    Result size = 4254
    Result size = 4254
    Result size = 4254
*** Specialise:
    Result size = 4254
*** Float out (not lambdas, not constants):
    Result size = 4906
*** Float inwards:
    Result size = 4906
*** Simplify:
*** Deleting temp files:
Warning: deleting non-existent /tmp/ghc23343_0/ghc23343_0.s
*** Deleting temp dirs:
stack overflow: use +RTS -K<size> to increase it

If I increase with +RTS -K100m compilation exhausts the heap after 18 minutes:

*** Simplify:
Heap exhausted;
Current maximum heap size is 999997440 bytes (953 Mb);
use `+RTS -M<size>' to increase it.
Trac metadata
Trac field Value
Version 6.8
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