1 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3540.stderr b/testsuite/tests/typecheck/should_fail/T3540.stderr
new file mode 100644
index 0000000000..8708dffa5d
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T3540.stderr
@@ -0,0 +1,25 @@
+
+T3540.hs:4:12:
+    Predicate used as a type: a ~ Int
+    In the type signature for `thing':
+      thing :: a ~ Int
+
+T3540.hs:7:20:
+    Predicate used as a type: a ~ Int
+    In the type signature for `thing1':
+      thing1 :: Int -> (a ~ Int)
+
+T3540.hs:10:13:
+    Predicate used as a type: a ~ Int
+    In the type signature for `thing2':
+      thing2 :: (a ~ Int) -> Int
+
+T3540.hs:13:12:
+    Predicate used as a type: ?dude :: Int
+    In the type signature for `thing3':
+      thing3 :: (?dude :: Int) -> Int
+
+T3540.hs:16:11:
+    Class `Eq' used as a type
+    In the type signature for `thing4':
+      thing4 :: (Eq a) -> Int