[GHC] #2353: GHC inliner doesn't

GHC trac at galois.com
Mon Jun 9 14:05:12 EDT 2008


#2353: GHC inliner doesn't
----------------------+-----------------------------------------------------
 Reporter:  guest     |          Owner:         
     Type:  bug       |         Status:  new    
 Priority:  normal    |      Milestone:         
Component:  Compiler  |        Version:  6.9    
 Severity:  normal    |     Resolution:         
 Keywords:            |     Difficulty:  Unknown
 Testcase:            |   Architecture:  Unknown
       Os:  Unknown   |  
----------------------+-----------------------------------------------------
Comment (by guest):

 In this case you need to inline foo, and then there will be a second
 opportunity to inline foo inside the inlined body.  It's the first and
 second inlining of foo that meet in the rule.  This indicates that current
 heuristic for not inlining is broken.

 I don't really want REALLYINLINE either, but in this case inlining must
 happen for the rule to apply, so there has to be a way to make the
 compiler obey the pragma.

 As you say, it's delicate.  Far too delicate.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2353#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list