[project @ 2001-08-22 12:24:41 by simonmar]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail016.hs
diff --git a/ghc/tests/typecheck/should_fail/tcfail016.hs b/ghc/tests/typecheck/should_fail/tcfail016.hs
deleted file mode 100644 (file)
index 2dfd4a5..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-module ShouldFail where
-
-type AnnExpr a = (a,Expr a)
-
-data Expr a = Var [Char]
-              | App (AnnExpr a) (AnnExpr a)
-
-g (Var name) = [name]
-g (App e1 e2) = (g e1)++(g e2)