Error message with INLINE/SPECIALISE pragma for class method

[batterseapower]

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 #-}

[batterseapower]

I've implemented a patch: see the patch-5084 branches of the testsuite and compiler repos.

[simonpj]

I found a much simpler way to do this, in TcClassDcl. However it's in a bit that Pedro is meddling with, so I have made the change in the ghc-generics branch:

commit 191292aaa7f56f32fc546478f43aa89ac67c95a3
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Thu Apr 21 14:03:07 2011 +0100

    Fix Trac #5084
    
    Complain about an INLINE pragma in a class decl
    when there's no corresponding default method

 compiler/typecheck/TcClassDcl.lhs |   29 +++++++++++++++++------------
 1 files changed, 17 insertions(+), 12 deletions(-)

Plus I added a test (also on the ghc-generics branch of testsuite.

Simon