[project @ 2001-08-22 12:24:41 by simonmar]

[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
deleted file mode 100644 (file)
index 545b094..0000000
--- a/ghc/tests/typecheck/should_compile/tc097.hs
+++ /dev/null
@@ -1,10 +0,0 @@
--- !!! Local universal quantification.
-module ShouldSucceed where
-
-import PrelGHC -- to get at All
-
-data Monad2 m = MkMonad2 (forall a. a -> m a)
-                         (forall a b.  m a -> (a -> m b) -> m b)
-
-halfListMonad  :: (forall a b. [a] -> (a -> [b]) -> [b]) -> Monad2 []
-halfListMonad b = MkMonad2 (\x -> [x]) b