id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
1709	simplifier causes stack overflow in ghc-6.8.0.20070916	Christian.Maeder@…	simonpj	"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.
}}}"	bug	closed	normal	6.8.1	Compiler	6.8	fixed			Linux	x86		Unknown