[GHC] #2354: NOINLINE pragma ignored

GHC trac at galois.com
Mon Jun 9 05:27:04 EDT 2008


#2354: NOINLINE pragma ignored
----------------------+-----------------------------------------------------
 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   |  
----------------------+-----------------------------------------------------
Changes (by simonpj):

  * difficulty:  => Unknown

Comment:

 Yes, I agree this is surprising, and arguably wrong.  However, a
 difficulty is that it's not clear what this might mean:
 {{{
 class AsInt a where
   {-# INLINE toInt #-}
   toInt   :: a -> Int
   toInt x = <blah blah>
 }}}
 Now, does the INLINE pragma apply to the ''method selector'' (which picks
 the method from the dictionary record) or to the ''default method''n (used
 in instance decls when no specific method is supplied)?  Or both, perhaps?
 I think GHC assumes the latter at the moment.

 Simon

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


More information about the Glasgow-haskell-bugs mailing list