summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T8227.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T8227.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/T8227.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T8227.stderr b/testsuite/tests/indexed-types/should_fail/T8227.stderr
index e821356430..64792ae0e9 100644
--- a/testsuite/tests/indexed-types/should_fail/T8227.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T8227.stderr
@@ -1,5 +1,5 @@
-T8227.hs:24:27: error:
+T8227.hs:24:27: error: [GHC-83865]
• Couldn't match type: Scalar (V a)
with: t0 -> t0
Expected: Scalar (V a)
@@ -13,7 +13,7 @@ T8227.hs:24:27: error:
absoluteToParam :: Scalar (V a) -> a -> Scalar (V a)
(bound at T8227.hs:24:1)
-T8227.hs:24:48: error:
+T8227.hs:24:48: error: [GHC-27958]
• Couldn't match type ‘t0’ with ‘Scalar (V t0)’
arising from a type equality Scalar (V a) ~ t0 -> t0
The type variable ‘t0’ is ambiguous