bug report

[Marc van Dongen=]

The following won't compile under 3.00

> data Blah = Blah
> type Tuple = (Blah,Int)

> instance Show Tuple where
>   showsPrec _ _ _
>     = error []

    No instance for: `Show Blah'
        arising from use of `PrelBase.$mshowList', at tmp.lhs:8

I know that instances of classes shouldn't be types, but that's
what was so neat about ghc-2.** : they allowed types here.

So are types not longer allowed in instance declarations?

Regards,


Marc