diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr b/testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr new file mode 100644 index 0000000000..5eb90241a5 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/AssocTyDef04.stderr @@ -0,0 +1,7 @@ + +AssocTyDef04.hs:6:18: + `Maybe' is not applied to enough type arguments + Expected kind `*', but `Maybe' has kind `* -> *' + In the type `Maybe' + In the type synonym instance declaration for `Typ' + In the class declaration for `Cls' |