summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7224.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/polykinds/T7224.stderr')
-rw-r--r--testsuite/tests/polykinds/T7224.stderr13
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'’