diff --git a/ghc/tests/typecheck/should_fail/tcfail078.hs b/ghc/tests/typecheck/should_fail/tcfail078.hs
new file mode 100644
index 0000000000000000000000000000000000000000..23e93b5f3233fd38b3733c0c0a2b9e33cb841daa
--- /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 0000000000000000000000000000000000000000..027604c7fc097fb7123289184afb1ef470d28afa
--- /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