INLINE pragmas for default methods don't work

[simonpj]

This should work:

  class C a where
    f :: (a -> a) -> [a] -> [a]
    {-# INLINE f #-}
    f g xs = reverse (map g (reverse xs))

  instance C Int

Now calling 'f' at Int should inline the code in the default method. Currently it doesn't, because we get

   dmf a d g xs = ...
   rec { dCInt = dmf Int dCInt }

and since dmf is applied to only one arg, but has arity 3, it isn't inlined, which is a bit silly.

If the class has more than one method, everythign works fine. (But I did fix a bug in TcClassDecl which prevented it working find in 6.4.)

[simonpj]

So far as I can see, this works fine in both 6.4.2 and the HEAD. So I'm closing the bug.

Simon