summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail196.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail196.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail196.stderr5
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail196.stderr b/testsuite/tests/typecheck/should_fail/tcfail196.stderr
new file mode 100644
index 0000000000..79cc7266eb
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail196.stderr
@@ -0,0 +1,5 @@
+
+tcfail196.hs:5:1:
+ Illegal polymorphic or qualified type: forall a. a
+ In the type signature for `bar':
+ bar :: Num (forall a. a) => Int -> Int