summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/BadTelescope5.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/dependent/should_fail/BadTelescope5.stderr')
-rw-r--r--testsuite/tests/dependent/should_fail/BadTelescope5.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/BadTelescope5.stderr b/testsuite/tests/dependent/should_fail/BadTelescope5.stderr
index b5e4ce9c3a..242768822f 100644
--- a/testsuite/tests/dependent/should_fail/BadTelescope5.stderr
+++ b/testsuite/tests/dependent/should_fail/BadTelescope5.stderr
@@ -1,5 +1,5 @@
-BadTelescope5.hs:10:81: error:
+BadTelescope5.hs:10:81: error: [GHC-25897]
• Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’
‘k’ is a rigid type variable bound by
the type signature for ‘bar’