diff options
Diffstat (limited to 'testsuite/tests/polykinds/T13985.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T13985.stderr | 28 |
1 files changed, 5 insertions, 23 deletions
diff --git a/testsuite/tests/polykinds/T13985.stderr b/testsuite/tests/polykinds/T13985.stderr index 2df92c34da..ba07f3cda1 100644 --- a/testsuite/tests/polykinds/T13985.stderr +++ b/testsuite/tests/polykinds/T13985.stderr @@ -1,28 +1,10 @@ -T13985.hs:13:41: error: - • Type variable ‘k’ is mentioned in the RHS, - but not bound on the LHS of the family instance - • In the data instance declaration for ‘Fam’ +T13985.hs:13:41: error: Not in scope: type variable ‘k’ -T13985.hs:16:43: error: - • Type variable ‘a’ is mentioned in the RHS, - but not bound on the LHS of the family instance - • In the type instance declaration for ‘T’ +T13985.hs:16:43: error: Not in scope: type variable ‘a’ -T13985.hs:23:26: error: - • Type variable ‘k’ is mentioned in the RHS, - but not bound on the LHS of the family instance - • In the data instance declaration for ‘CD’ - In the instance declaration for ‘C Type’ +T13985.hs:23:26: error: Not in scope: type variable ‘k’ -T13985.hs:24:37: error: - • Type variable ‘a’ is mentioned in the RHS, - but not bound on the LHS of the family instance - • In the type instance declaration for ‘CT’ - In the instance declaration for ‘C Type’ +T13985.hs:24:37: error: Not in scope: type variable ‘a’ -T13985.hs:28:39: error: - • Type variable ‘x’ is mentioned in the RHS, - but not bound on the LHS of the family instance - • In the default type instance declaration for ‘ZT’ - In the class declaration for ‘Z’ +T13985.hs:28:39: error: Not in scope: type variable ‘x’ |