Hi,
The following code:
> f a = undefined
> f :: a -> b
> f a = undefined
Under Hugs May 2006 does not raise an error.
Under GHC:
Multiple declarations of `Main.f'
Under Yhc:
Error: Redefinition of Identifier f at 5:1-5:15
I guess Hugs is wrong in this case.
Thanks
Neil