[project @ 1996-01-08 20:28:12 by partain]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail060.hs

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail060.hs b/ghc/compiler/tests/typecheck/should_fail/tcfail060.hs
new file mode 100644 (file)
index 0000000..1d85992
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail060.hs
@@ -0,0 +1,9 @@
+--!! The class export shouldn't be allowed to succeed
+--
+module Foo ( Baz(..) ) where 
+
+class Baz a where
+    opx :: Int -> Bar -> a -> a
+
+data Bar = Bar X
+data X = Y