#1709: simplifier causes stack overflow in ghc-6.8.0.20070916
---------------------------------------+------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8
Severity: normal | Keywords:
Difficulty: Unknown | Os: Linux
Testcase: | Architecture: x86
---------------------------------------+------------------------------------
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.
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1709>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs