[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 (file)
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 (file)
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