diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail151.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail151.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail151.stderr b/testsuite/tests/typecheck/should_fail/tcfail151.stderr index 3e675c2ef0..5e4dcfcf2f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail151.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail151.stderr @@ -6,3 +6,10 @@ tcfail151.hs:8:6: Expecting one more argument to ‘Name a’ Expected a constraint, but ‘Name a’ has kind ‘* -> Constraint’ In the data declaration for ‘Exp’ + +tcfail151.hs:8:30: + Expecting one more argument to ‘a’ + Expected a type, but ‘a’ has kind ‘* -> *’ + In the type ‘a’ + In the definition of data constructor ‘MkExp’ + In the data declaration for ‘Exp’ |