summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T2693.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T2693.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/T2693.stderr20
1 files changed, 10 insertions, 10 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2693.stderr b/testsuite/tests/indexed-types/should_fail/T2693.stderr
index f07905b570..1f34d6b34b 100644
--- a/testsuite/tests/indexed-types/should_fail/T2693.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T2693.stderr
@@ -1,46 +1,46 @@
-T2693.hs:12:15: error:
+T2693.hs:12:15: error: [GHC-83865]
• Couldn't match expected type: (a8, b1)
with actual type: TFn a6
- The type variable ‘a6’ is ambiguous
+ The type variable ‘a6’ is ambiguous
• In the first argument of ‘fst’, namely ‘x’
In the first argument of ‘(+)’, namely ‘fst x’
In the expression: fst x + fst x
• Relevant bindings include n :: a8 (bound at T2693.hs:12:7)
-T2693.hs:12:23: error:
+T2693.hs:12:23: error: [GHC-83865]
• Couldn't match expected type: (a8, b2)
with actual type: TFn a7
- The type variable ‘a7’ is ambiguous
+ The type variable ‘a7’ is ambiguous
• In the first argument of ‘fst’, namely ‘x’
In the second argument of ‘(+)’, namely ‘fst x’
In the expression: fst x + fst x
• Relevant bindings include n :: a8 (bound at T2693.hs:12:7)
-T2693.hs:19:15: error:
+T2693.hs:19:15: error: [GHC-83865]
• Couldn't match expected type: (a5, b0)
with actual type: TFn a2
- The type variable ‘a2’ is ambiguous
+ The type variable ‘a2’ is ambiguous
• In the first argument of ‘fst’, namely ‘x’
In the first argument of ‘(+)’, namely ‘fst x’
In the expression: fst x + snd x
• Relevant bindings include n :: a5 (bound at T2693.hs:19:7)
-T2693.hs:19:23: error:
+T2693.hs:19:23: error: [GHC-83865]
• Couldn't match expected type: (a4, a5)
with actual type: TFn a3
- The type variable ‘a3’ is ambiguous
+ The type variable ‘a3’ is ambiguous
• In the first argument of ‘snd’, namely ‘x’
In the second argument of ‘(+)’, namely ‘snd x’
In the expression: fst x + snd x
• Relevant bindings include n :: a5 (bound at T2693.hs:19:7)
-T2693.hs:29:20: error:
+T2693.hs:29:20: error: [GHC-83865]
• Couldn't match type: TFn a0
with: PVR a1
Expected: () -> Maybe (PVR a1)
Actual: () -> Maybe (TFn a0)
- The type variable ‘a0’ is ambiguous
+ The type variable ‘a0’ is ambiguous
• In the first argument of ‘mapM’, namely ‘g’
In a stmt of a 'do' block: pvs <- mapM g undefined
In the expression: