diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7224.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T7224.stderr | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/testsuite/tests/polykinds/T7224.stderr b/testsuite/tests/polykinds/T7224.stderr index b957a1ba65..daab1c40a9 100644 --- a/testsuite/tests/polykinds/T7224.stderr +++ b/testsuite/tests/polykinds/T7224.stderr @@ -1,6 +1,7 @@ -
-T7224.hs:6:19: error:
- Kind variable ‘i’ used as a type
- In the type signature:
- ret' :: a -> m i i a
- In the class declaration for ‘PMonad'’
+ +T7224.hs:6:19: error: + • Expected kind ‘i’, but ‘i’ has kind ‘*’ + • In the first argument of ‘m’, namely ‘i’ + In the type signature: + ret' :: a -> m i i a + In the class declaration for ‘PMonad'’ |