summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail055.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail055.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail055.stderr5
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail055.stderr b/testsuite/tests/typecheck/should_fail/tcfail055.stderr
new file mode 100644
index 0000000000..ac012da98e
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail055.stderr
@@ -0,0 +1,5 @@
+
+tcfail055.hs:3:8:
+ Couldn't match expected type `Float' with actual type `Int'
+ In the expression: (x + 1 :: Int) :: Float
+ In an equation for `f': f x = (x + 1 :: Int) :: Float