Different behavior of GHC 6.10.1 and Hugs (Sep 2006)

Hi list, GHC 6.10.1: Prelude :t let f x y = return x == return y in f let f x y = return x == return y in f :: (Eq (m a), Monad m) = a - a - Bool Hugs (Sep 2006): Hugs :t let f x y = return x == return y in f ERROR - Ambiguous type signature in inferred type *** ambiguous type : (Eq (a b),

Re: [Haskell-cafe] Different behavior of GHC 6.10.1 and Hugs (Sep 2006)

Am Samstag 03 April 2010 15:40:03 schrieb Vladimir Reshetnikov: Hi list, GHC 6.10.1: Prelude :t let f x y = return x == return y in f let f x y = return x == return y in f :: (Eq (m a), Monad m) = a - a - Bool Hugs (Sep 2006): Hugs :t let f x y = return x == return y in f ERROR -