[GHC] #4321: Unexpected stack overflow prevented by superfluous type annotation

[GHC]

#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  simonpj at microsoft.com
   * 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