[project @ 2001-03-13 15:22:54 by simonpj]

Add 091

diff --git a/ghc/tests/typecheck/should_fail/tcfail091.hs b/ghc/tests/typecheck/should_fail/tcfail091.hs
new file mode 100644 (file)
index 0000000..67a45a5
--- /dev/null
+++ b/ghc/tests/typecheck/should_fail/tcfail091.hs
@@ -0,0 +1,9 @@
+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Illegal superclass constraint
+-- These examples actually crashed GHC 4.08.2
+
+module ShouldFail where
+
+class (?imp :: Int) => C t where
+

diff --git a/ghc/tests/typecheck/should_fail/tcfail091.stderr b/ghc/tests/typecheck/should_fail/tcfail091.stderr
new file mode 100644 (file)
index 0000000..7913b29
--- /dev/null
+++ b/ghc/tests/typecheck/should_fail/tcfail091.stderr
@@ -0,0 +1,4 @@
+
+tcfail091.hs:8:
+    Illegal superclass constraint `?imp :: Int' in declaration for class `C'
+    In the class declaration for `C'