From b565ba5924ed552c9184bbb66b921f2a18f87b1b Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 12 Feb 2004 14:55:05 +0000 Subject: [PATCH] [project @ 2004-02-12 14:55:05 by simonpj] Explicit for-alls for Monad (so desugaring knows which order to give type args) --- GHC/Base.lhs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 -- 1.7.10.4