summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T7278.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/polykinds/T7278.stderr')
-rw-r--r--testsuite/tests/polykinds/T7278.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T7278.stderr b/testsuite/tests/polykinds/T7278.stderr
index 5f4ff6d18f..93b0e9aa3d 100644
--- a/testsuite/tests/polykinds/T7278.stderr
+++ b/testsuite/tests/polykinds/T7278.stderr
@@ -1,7 +1,7 @@
T7278.hs:9:43: error:
- • Expected kind ‘* -> * -> *’, but ‘t’ has kind ‘k’
- ‘k’ is a rigid type variable bound by
+ • Expected kind ‘* -> * -> *’, but ‘t’ has kind ‘k1’
+ ‘k1’ is a rigid type variable bound by
the type signature for ‘f’
at T7278.hs:9:1-49
• In the type signature: