[project @ 1998-11-16 18:14:44 by simonm]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail076.hs

diff --git a/ghc/tests/typecheck/should_fail/tcfail076.hs b/ghc/tests/typecheck/should_fail/tcfail076.hs
index 262b79f..7d8f136 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail076.hs
+++ b/ghc/tests/typecheck/should_fail/tcfail076.hs
@@ -11,9 +11,7 @@ Needless to say that it uses some of GHC's arcane type extensions.
 
 module ShouldFail where
 
-import GlaExts ( All )
-
-data ContT m a         =  KContT ((All res) => (a -> m res) -> m res)
+data ContT m a         =  KContT (forall res. (a -> m res) -> m res)
 unKContT (KContT x)    =  x
 
 callcc                 :: ((a -> ContT m b) -> ContT m a) -> ContT m a