diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7368.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7368.stderr | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7368.stderr b/testsuite/tests/typecheck/should_fail/T7368.stderr index c6c11e81b7..1c538ac7f9 100644 --- a/testsuite/tests/typecheck/should_fail/T7368.stderr +++ b/testsuite/tests/typecheck/should_fail/T7368.stderr @@ -1,10 +1,6 @@ T7368.hs:3:10: error: - Couldn't match kind ‘* -> *’ with ‘*’ - When matching types - c0 :: (* -> *) -> * - (->) a0 :: * -> * - Expected type: a0 -> b0 - Actual type: c0 Maybe - In the first argument of ‘b’, namely ‘(l Nothing)’ - In the expression: b (l Nothing) + • Couldn't match kind ‘*’ with ‘* -> *’ + When matching the kind of ‘Maybe’ + • In the first argument of ‘b’, namely ‘(l Nothing)’ + In the expression: b (l Nothing) |