#4321: Unexpected stack overflow prevented by superfluous type annotation
---------------------------------+------------------------------------------
Reporter: bjpop | Owner: igloo
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.13
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):
* owner: => igloo
Comment:
Thanks. Turned out that HEAD was a little less keen to inline than 6.12.
I've fixed that.
{{{
Thu Sep 23 14:00:32 BST 2010 [email protected]
* Make -funfolding-dict-threshold work properly
and increase its default value. This makes overloaded functions
a bit keener to inline. Which fixes Trac #4321
}}}
Happily HEAD then behaves the same whether or not there is a pragma.
Ian: could you add this as a test, which will blow up if things go wrong
atain? Thanks. The difference in runtime or allocation is fairly stark,
so you don't even need to look for stack overflow.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4321#comment:1>
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
