diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/mc19.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/mc19.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/mc19.stderr b/testsuite/tests/typecheck/should_fail/mc19.stderr index 5f004dc4a8..4b00eeaecc 100644 --- a/testsuite/tests/typecheck/should_fail/mc19.stderr +++ b/testsuite/tests/typecheck/should_fail/mc19.stderr @@ -1,12 +1,12 @@ - -mc19.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 mc19.hs:10:10 - Expected type: [a] -> [a] - Actual type: [a] -> [[a]] - • In the expression: inits - In a stmt of a monad comprehension: then inits - In the expression: [x | x <- [3, 2, 1], then inits] +
+mc19.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 mc19.hs:10:10-35
+ Expected type: [a] -> [a]
+ Actual type: [a] -> [[a]]
+ • In the expression: inits
+ In a stmt of a monad comprehension: then inits
+ In the expression: [x | x <- [3, 2, 1], then inits]
|