From: simonm <unknown>
Date: Tue, 25 Nov 1997 11:52:11 +0000 (+0000)
Subject: [project @ 1997-11-25 11:52:10 by simonm]
X-Git-Tag: Approx_2487_patches~1238
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=cfd229b7cfe58a987c65800000bcb0e9b2de9a20;p=ghc-hetmet.git

[project @ 1997-11-25 11:52:10 by simonm]
Add test for "type constructor used as class name".
---

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