Refactor treatment of wildcards
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2693.stderr
1
2 T2693.hs:12:15: error:
3     • Couldn't match expected type ‘(a8, b1)’ with actual type ‘TFn a6’
4       The type variables ‘b1’, ‘a6’, ‘a8’ are ambiguous
5     • In the first argument of ‘fst’, namely ‘x’
6       In the first argument of ‘(+)’, namely ‘fst x’
7     • Relevant bindings include n :: a8 (bound at T2693.hs:12:7)
8
9 T2693.hs:12:23: error:
10     • Couldn't match expected type ‘(a8, b2)’ with actual type ‘TFn a7’
11       The type variables ‘b2’, ‘a7’, ‘a8’ are ambiguous
12     • In the first argument of ‘fst’, namely ‘x’
13       In the second argument of ‘(+)’, namely ‘fst x’
14     • Relevant bindings include n :: a8 (bound at T2693.hs:12:7)
15
16 T2693.hs:19:15: error:
17     • Couldn't match expected type ‘(a5, b0)’ with actual type ‘TFn a2’
18       The type variables ‘b0’, ‘a2’, ‘a5’ are ambiguous
19     • In the first argument of ‘fst’, namely ‘x’
20       In the first argument of ‘(+)’, namely ‘fst x’
21     • Relevant bindings include n :: a5 (bound at T2693.hs:19:7)
22
23 T2693.hs:19:23: error:
24     • Couldn't match expected type ‘(a3, a5)’ with actual type ‘TFn a4’
25       The type variables ‘a3’, ‘a4’, ‘a5’ are ambiguous
26     • In the first argument of ‘snd’, namely ‘x’
27       In the second argument of ‘(+)’, namely ‘snd x’
28     • Relevant bindings include n :: a5 (bound at T2693.hs:19:7)
29
30 T2693.hs:29:20: error:
31     • Couldn't match type ‘TFn a0’ with ‘PVR a1’
32       The type variables ‘a0’, ‘a1’ are ambiguous
33       Expected type: () -> Maybe (PVR a1)
34         Actual type: () -> Maybe (TFn a0)
35     • In the first argument of ‘mapM’, namely ‘g’
36       In a stmt of a 'do' block: pvs <- mapM g undefined