summaryrefslogtreecommitdiff
path: root/testsuite/tests/impredicative/icfp20-fail.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/impredicative/icfp20-fail.stderr')
-rw-r--r--testsuite/tests/impredicative/icfp20-fail.stderr3
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/impredicative/icfp20-fail.stderr b/testsuite/tests/impredicative/icfp20-fail.stderr
index a2fb0cad24..35079396f0 100644
--- a/testsuite/tests/impredicative/icfp20-fail.stderr
+++ b/testsuite/tests/impredicative/icfp20-fail.stderr
@@ -1,7 +1,6 @@
icfp20-fail.hs:20:10: error: [GHC-83865]
- • Couldn't match type: forall a. a -> a
- with: b -> b
+ • Couldn't match type ‘SId’ with ‘b -> b’
Expected: SId -> b -> b
Actual: SId -> SId
• In the expression: id