Error message with INLINE/SPECIALISE pragma for class method

The INLINE/SPECIALISE pragmas in a class declaration apply to the *default methods* in that declaration. However, no error is given if such a pragma is given when no corresponding default method exists, as in this example:

class Foo a where
    bar :: a -> a
    {-# INLINE bar #-}

Trac metadata

Trac field	Value
Version	7.0.3
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture