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

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

diff --git a/ghc/tests/typecheck/should_compile/tc092.hs b/ghc/tests/typecheck/should_compile/tc092.hs
deleted file mode 100644 (file)
index a429de4..0000000
--- a/ghc/tests/typecheck/should_compile/tc092.hs
+++ /dev/null
@@ -1,9 +0,0 @@
-module ShouldSucceed where
-
-data Empty q                   =  Empty (Ord a => q a)
-q                              :: (Ord a) => [a]
-q                              =  []
-e0, e1, e2                     :: Empty []
-e0                             =  Empty []
-e1                             =  Empty ([] :: (Ord a) => [a])
-e2                             =  Empty q