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