[project @ 2004-02-12 14:55:05 by simonpj]

Explicit for-alls for Monad (so desugaring knows which order to give type args)

diff --git a/GHC/Base.lhs b/GHC/Base.lhs
index 92df297..f6b27c8 100644 (file)
--- a/GHC/Base.lhs
+++ b/GHC/Base.lhs
@@ -223,8 +223,10 @@ satisfy these laws.
 -}
 
 class  Monad m  where
-    (>>=)       :: m a -> (a -> m b) -> m b
-    (>>)        :: m a -> m b -> m b
+    (>>=)       :: forall a b. m a -> (a -> m b) -> m b
+    (>>)        :: forall a b. m a -> m b -> m b
+       -- Explicit for-alls so that we know what order to
+       -- give type arguments when desugaring
     return      :: a -> m a
     fail       :: String -> m a