Incorrect error message for a pragma on an invalid instance method.
Compiling this code
data Foo = Foo
instance Eq Foo where
{-# INLINE wrong #-}
wrong _ = True
I get these errors:
foo.hs:3:14: error:
The INLINE pragma for ‘wrong’ lacks an accompanying binding
|
3 | {-# INLINE wrong #-}
| ^^^^^
foo.hs:4:3: error: ‘wrong’ is not a (visible) method of class ‘Eq’
|
4 | wrong _ = True
| ^^^^^
The first error I see is not really right. There is an accompanying binding, albeit a wrong one.
Of course, the next error shows what the actual problem is, so in practice this may not be a serious issue.
I tested this in GHC 8.6 and the alpha release of 8.8.