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

[ghc-hetmet.git] / ghc / tests / typecheck / should_run / tcrun011.hs

diff --git a/ghc/tests/typecheck/should_run/tcrun011.hs b/ghc/tests/typecheck/should_run/tcrun011.hs
deleted file mode 100644 (file)
index 204bd20..0000000
--- a/ghc/tests/typecheck/should_run/tcrun011.hs
+++ /dev/null
@@ -1,24 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Existential data tyes
--- Hugs didn't like this one
-
-module Main (main) where
-
-
-class MyClass a b where
-       foo :: a -> b -> Int
-
-data Special = forall b. (MyClass Int b)=> MkSpecial b
-data General a = forall b. (MyClass a b)=> MkGeneral b
-
-instance MyClass Int Bool where
-   foo x False = -x
-   foo x True  = x
-
-xs :: [General Int]
-xs = [MkGeneral True, MkGeneral False]
-
-main = print [foo (3::Int) x | MkGeneral x <- xs]
-       -- Without the (::Int) part we get an 
-       -- incomprehensible error message :-(