summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/OrdErr.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/OrdErr.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/OrdErr.stderr5
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/OrdErr.stderr b/testsuite/tests/typecheck/should_fail/OrdErr.stderr
index 01dba4924a..e9fb95e47f 100644
--- a/testsuite/tests/typecheck/should_fail/OrdErr.stderr
+++ b/testsuite/tests/typecheck/should_fail/OrdErr.stderr
@@ -1,9 +1,10 @@
-OrdErr.hs:12:14: error:
+
+OrdErr.hs:12:14: error: [GHC-64725]
• Cannot satisfy: a <= a + 1
• In the expression: proxyInEq
In an equation for ‘proxyInEq1’: proxyInEq1 = proxyInEq
-OrdErr.hs:16:14: error:
+OrdErr.hs:16:14: error: [GHC-64725]
• Cannot satisfy: 5 <= 3
• In the expression: proxyInEq
In an equation for ‘proxyInEq2’: proxyInEq2 = proxyInEq