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

2010-04-03 Thread Daniel Fischer
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

Different behavior of GHC 6.10.1 and Hugs (Sep 2006)

2010-04-03 Thread 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 - Ambiguous type signature in inferred type *** ambiguous type : (Eq (a b),