diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:05:51 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
commit | cdc14b480adc58c2937d54d0db0fd36e4ed532b0 (patch) | |
tree | 9767ea498b2391a67822c9a5b001af90b81a4fc8 /testsuite/tests/typecheck/should_fail/tcfail198.stderr | |
parent | e7e42c838e32ef1e05daf04b0b6afb62ffc4ec97 (diff) | |
download | haskell-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.stderr | 30 |
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) |