Different behavior of GHC 6.10.1 and Hugs (Sep 2006)
v.reshetnikov at gmail.com
Sat Apr 3 09:40:03 EDT 2010
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 ->
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), Monad a) => b -> b -> Bool
*** assigned to : f
Who is right?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users