On Fri, Dec 14, 2001 at 09:28:30PM +0000, Ian Lynagh wrote:

If I have the module

module TT (Foo(..)) where

default (Foo, [Foo], Foo -> Int)

data Foo = Foo deriving (Eq, Show)

instance Num Foo where {} instance (Eq a, Show a) => Num [a] where {} instance Eq (a -> b) where {} instance Show (a -> b) where {} instance Num (a -> b) where {}

nhc tells me

Error when renaming:: Illegal type in default at 4:17

This is apparently an nhc bug. Thanks Ian