#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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
