From: simonpj <unknown>
Date: Tue, 13 Mar 2001 15:22:54 +0000 (+0000)
Subject: [project @ 2001-03-13 15:22:54 by simonpj]
X-Git-Tag: Approximately_9120_patches~2433
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ed2e3ae28e5e511513aab2795684baa784648475;p=ghc-hetmet.git

[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
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
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'