[project @ 1999-09-16 19:26:01 by sof]

[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc097.hs

diff --git a/ghc/tests/typecheck/should_compile/tc097.hs b/ghc/tests/typecheck/should_compile/tc097.hs
index 448e631..545b094 100644 (file)
--- a/ghc/tests/typecheck/should_compile/tc097.hs
+++ b/ghc/tests/typecheck/should_compile/tc097.hs
@@ -3,8 +3,8 @@ module ShouldSucceed where
 
 import PrelGHC -- to get at All
 
-data Monad2 m = MkMonad2 (All a => a -> m a)
-                         ((All a, All b) =>  m a -> (a -> m b) -> m b)
+data Monad2 m = MkMonad2 (forall a. a -> m a)
+                         (forall a b.  m a -> (a -> m b) -> m b)
 
-halfListMonad  :: ((All a, All b) => [a] -> (a -> [b]) -> [b]) -> Monad2 []
+halfListMonad  :: (forall a b. [a] -> (a -> [b]) -> [b]) -> Monad2 []
 halfListMonad b = MkMonad2 (\x -> [x]) b