diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail193.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail193.stderr | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail193.stderr b/testsuite/tests/typecheck/should_fail/tcfail193.stderr index bd8ef5348a..4a96fa4aef 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail193.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail193.stderr @@ -1,11 +1,12 @@ -
-tcfail193.hs:10:31: error:
- Couldn't match type ‘a’ with ‘[a]’
- ‘a’ is a rigid type variable bound by
- a type expected by the context:
- forall a. [a] -> [a]
- at tcfail193.hs:10:10
- Expected type: [a] -> [a]
- Actual type: [a] -> [[a]]
- In the expression: inits
- In a stmt of a list comprehension: then inits
+ +tcfail193.hs:10:31: error: + • Couldn't match type ‘a’ with ‘[a]’ + ‘a’ is a rigid type variable bound by + a type expected by the context: + forall a. [a] -> [a] + at tcfail193.hs:10:10 + Expected type: [a] -> [a] + Actual type: [a] -> [[a]] + • In the expression: inits + In a stmt of a list comprehension: then inits + In the expression: [x | x <- [3, 2, 1], then inits] |