From cfd229b7cfe58a987c65800000bcb0e9b2de9a20 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Tue, 25 Nov 1997 11:52:11 +0000
Subject: [PATCH] [project @ 1997-11-25 11:52:10 by simonm] Add test for "type
 constructor used as class name".

---
 ghc/tests/typecheck/should_fail/tcfail078.hs     |    6 ++++++
 ghc/tests/typecheck/should_fail/tcfail078.stderr |    4 ++++
 2 files changed, 10 insertions(+)
 create mode 100644 ghc/tests/typecheck/should_fail/tcfail078.hs
 create mode 100644 ghc/tests/typecheck/should_fail/tcfail078.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail078.hs b/ghc/tests/typecheck/should_fail/tcfail078.hs
new file mode 100644
index 0000000..23e93b5
--- /dev/null
+++ b/ghc/tests/typecheck/should_fail/tcfail078.hs
@@ -0,0 +1,6 @@
+module ShouldFail where
+
+--!!! Using a type constructor as a class name
+
+f :: Integer i => i 
+f =               0    
diff --git a/ghc/tests/typecheck/should_fail/tcfail078.stderr b/ghc/tests/typecheck/should_fail/tcfail078.stderr
new file mode 100644
index 0000000..027604c
--- /dev/null
+++ b/ghc/tests/typecheck/should_fail/tcfail078.stderr
@@ -0,0 +1,4 @@
+ 
+tcfail078.hs:5: Type constructor used as a class: `Integer'
+
+Compilation had errors
-- 
1.7.10.4