#1707: 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 does not terminate (or takes
more than 10 minutes)
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1707>
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
