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