summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T17687.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T17687.stderr')
-rw-r--r--testsuite/tests/dependent/should_fail/T17687.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/T17687.stderr b/testsuite/tests/dependent/should_fail/T17687.stderr
index e4ac034f93..03d9106e1d 100644
--- a/testsuite/tests/dependent/should_fail/T17687.stderr
+++ b/testsuite/tests/dependent/should_fail/T17687.stderr
@@ -1,5 +1,5 @@
-T17687.hs:5:6: error:
+T17687.hs:5:6: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall a -> a -> a
(GHC does not yet support this)