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

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

diff --git a/ghc/tests/typecheck/should_compile/tc119.hs b/ghc/tests/typecheck/should_compile/tc119.hs
deleted file mode 100644 (file)
index 7c86751..0000000
--- a/ghc/tests/typecheck/should_compile/tc119.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-{-# OPTIONS -fglasgow-exts #-}
-
--- !!! Functional dependencies and existentials
-
--- Hugs (February 2000) doesn't like it. It says
---  Variable "e" in constraint is not locally bound
-
-module ShouldCompile where
-
-class Collection c e | c -> e where
-   empty :: c
-   put   :: c -> e -> c
-
-data SomeCollection e = forall c . Collection c e => MakeSomeCollection c