diff options
Diffstat (limited to 'testsuite/tests/polykinds/T13985.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T13985.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/polykinds/T13985.stderr b/testsuite/tests/polykinds/T13985.stderr index 954dae5dcd..ec829dec4d 100644 --- a/testsuite/tests/polykinds/T13985.stderr +++ b/testsuite/tests/polykinds/T13985.stderr @@ -14,7 +14,7 @@ T13985.hs:15:15: error: • In the type instance declaration for ‘T’ T13985.hs:22:3: error: - • Kind variable ‘k’ is implicitly bound in data family + • Kind variable ‘k’ is implicitly bound in associated data family ‘CD’, but does not appear as the kind of any of its type variables. Perhaps you meant to bind it (with TypeInType) explicitly somewhere? @@ -22,7 +22,7 @@ T13985.hs:22:3: error: In the instance declaration for ‘C Type’ T13985.hs:23:8: error: - • Kind variable ‘a’ is implicitly bound in type family + • Kind variable ‘a’ is implicitly bound in associated type family ‘CT’, but does not appear as the kind of any of its type variables. Perhaps you meant to bind it (with TypeInType) explicitly somewhere? @@ -30,7 +30,7 @@ T13985.hs:23:8: error: In the instance declaration for ‘C Type’ T13985.hs:27:3: error: - • Kind variable ‘x’ is implicitly bound in type family + • Kind variable ‘x’ is implicitly bound in associated type family ‘ZT’, but does not appear as the kind of any of its type variables. Perhaps you meant to bind it (with TypeInType) explicitly somewhere? |