From: simonpj <unknown>
Date: Thu, 12 Feb 2004 14:55:05 +0000 (+0000)
Subject: [project @ 2004-02-12 14:55:05 by simonpj]
X-Git-Tag: nhc98-1-18-release~389
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=b565ba5924ed552c9184bbb66b921f2a18f87b1b;p=haskell-directory.git

[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
--- 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