From ed2e3ae28e5e511513aab2795684baa784648475 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 13 Mar 2001 15:22:54 +0000
Subject: [PATCH] [project @ 2001-03-13 15:22:54 by simonpj] Add 091

---
 ghc/tests/typecheck/should_fail/tcfail091.hs     |    9 +++++++++
 ghc/tests/typecheck/should_fail/tcfail091.stderr |    4 ++++
 2 files changed, 13 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_fail/tcfail091.hs
 create mode 100644 ghc/tests/typecheck/should_fail/tcfail091.stderr

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