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