summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail015.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail015.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail015.stderr10
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail015.stderr b/testsuite/tests/typecheck/should_fail/tcfail015.stderr
new file mode 100644
index 0000000000..52dc7956cd
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail015.stderr
@@ -0,0 +1,10 @@
+
+tcfail015.hs:9:39:
+ No instance for (Num Bool)
+ arising from the literal `4'
+ Possible fix: add an instance declaration for (Num Bool)
+ In the expression: 4
+ In an equation for `g':
+ g (ANode b (ANode c d))
+ | b = c + 1
+ | otherwise = 4