[cvs-nhc98] default types

Ian Lynagh igloo@earth.li
Wed, 19 Dec 2001 18:44:56 +0000


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