summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail198.stderr
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2016-06-18 22:05:51 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2016-06-20 16:22:07 +0200
commitcdc14b480adc58c2937d54d0db0fd36e4ed532b0 (patch)
tree9767ea498b2391a67822c9a5b001af90b81a4fc8 /testsuite/tests/typecheck/should_fail/tcfail198.stderr
parente7e42c838e32ef1e05daf04b0b6afb62ffc4ec97 (diff)
downloadhaskell-cdc14b480adc58c2937d54d0db0fd36e4ed532b0.tar.gz
Testsuite: remove Windows CR again.. [skip ci]
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail198.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail198.stderr30
1 files changed, 15 insertions, 15 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail198.stderr b/testsuite/tests/typecheck/should_fail/tcfail198.stderr
index f073b5e66e..373c570863 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail198.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail198.stderr
@@ -1,15 +1,15 @@
-
-tcfail198.hs:6:36: error:
- • Couldn't match expected type ‘a1’ with actual type ‘a’
- because type variable ‘a1’ would escape its scope
- This (rigid, skolem) type variable is bound by
- an expression type signature:
- a1
- at tcfail198.hs:6:41
- • In the expression: x :: a
- In the second argument of ‘(++)’, namely ‘[x :: a]’
- In the expression: xs ++ [x :: a]
- • Relevant bindings include
- xs :: [a] (bound at tcfail198.hs:6:21)
- x :: a (bound at tcfail198.hs:6:19)
- f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)
+
+tcfail198.hs:6:36: error:
+ • Couldn't match expected type ‘a1’ with actual type ‘a’
+ because type variable ‘a1’ would escape its scope
+ This (rigid, skolem) type variable is bound by
+ an expression type signature:
+ a1
+ at tcfail198.hs:6:41
+ • In the expression: x :: a
+ In the second argument of ‘(++)’, namely ‘[x :: a]’
+ In the expression: xs ++ [x :: a]
+ • Relevant bindings include
+ xs :: [a] (bound at tcfail198.hs:6:21)
+ x :: a (bound at tcfail198.hs:6:19)
+ f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)