summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T11520.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/polykinds/T11520.stderr')
-rw-r--r--testsuite/tests/polykinds/T11520.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/T11520.stderr b/testsuite/tests/polykinds/T11520.stderr
index 90a5826266..8b9ddb09a8 100644
--- a/testsuite/tests/polykinds/T11520.stderr
+++ b/testsuite/tests/polykinds/T11520.stderr
@@ -1,9 +1,9 @@
-T11520.hs:15:77: error:
+T11520.hs:16:77: error:
• Expected kind ‘k2 -> k1’, but ‘g’ has kind ‘k4’
‘k4’ is a rigid type variable bound by
an instance declaration
- at T11520.hs:15:10-78
+ at T11520.hs:16:10-78
• In the second argument of ‘Compose’, namely ‘g’
In the first argument of ‘Typeable’, namely ‘(Compose f g)’
In the instance declaration for ‘Typeable (Compose f g)’