[GHC] #6122: INLINE pragma not obeyed

[GHC]

#6122: INLINE pragma not obeyed
-------------------------------+--------------------------------------------
  Reporter:  augustss          |          Owner:                  
      Type:  bug               |         Status:  closed          
  Priority:  normal            |      Milestone:                  
 Component:  Compiler          |        Version:  7.4.1           
Resolution:  wontfix           |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by kosmikus):

 IMHO, it's not important that the pragma is called `INLINE`. We could
 perhaps introduce a new pragma for this purpose, stating "I know this
 expression terminates, and I want you to evaluate it to normal form at
 compile time no matter what." If such an expression turns out not to
 terminate, non-termination of the compiler would be accepted (or, being
 more user-friendly, there might be a reduction threshold, and if the
 reduction doesn't terminate within that many steps, the compiler would
 throw a warning).

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