diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr b/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr index 28107aaed6..778d8ab9f4 100644 --- a/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr +++ b/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr @@ -1,4 +1,11 @@ -TyFamArity2.hs:4:15: - Number of parameters must match family declaration; expected 1 - In the type instance declaration for ‘T’ +TyFamArity2.hs:4:15: error: + • Too many parameters to T: + Float is unexpected; + expected only one parameter + • In the type instance declaration for ‘T’ + +TyFamArity2.hs:4:29: error: + • Expected kind ‘* -> *’, but ‘Char’ has kind ‘*’ + • In the type ‘Char’ + In the type instance declaration for ‘T’ |