diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T2994.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T2994.stderr | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2994.stderr b/testsuite/tests/typecheck/should_fail/T2994.stderr new file mode 100644 index 0000000000..7eab543ad4 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T2994.stderr @@ -0,0 +1,15 @@ + +T2994.hs:11:10: + `MonadReader Int' is not applied to enough type arguments + Expected kind `*', but `MonadReader Int' has kind `* -> *' + In the instance declaration for `MonadReader Int' + +T2994.hs:13:23: + `Reader' r' is not applied to enough type arguments + The first argument of `MonadReader' should have kind `*', + but `Reader' r' has kind `* -> *' + In the instance declaration for `MonadReader (Reader' r)' + +T2994.hs:15:10: + `MonadReader' is applied to too many type arguments + In the instance declaration for `MonadReader r r (Reader' r)' |