Revert "rts: Drop redundant flags for libffi"
[ghc.git] / testsuite / tests / typecheck / should_fail / T10971b.stderr
1
2 T10971b.hs:4:11: error:
3     • Ambiguous type variable ‘t2’ arising from a use of ‘length’
4       prevents the constraint ‘(Foldable t2)’ from being solved.
5       Relevant bindings include
6         x :: t2 a (bound at T10971b.hs:4:6)
7         f :: t2 a -> Int (bound at T10971b.hs:4:1)
8       Probable fix: use a type annotation to specify what ‘t2’ should be.
9       These potential instances exist:
10         instance Foldable (Either a) -- Defined in ‘Data.Foldable’
11         instance Foldable Maybe -- Defined in ‘Data.Foldable’
12         instance Foldable ((,) a) -- Defined in ‘Data.Foldable’
13         ...plus one other
14         ...plus 29 instances involving out-of-scope types
15         (use -fprint-potential-instances to see them all)
16     • In the expression: length x
17       In the expression: \ x -> length x
18       In an equation for ‘f’: f = \ x -> length x
19
20 T10971b.hs:5:13: error:
21     • Ambiguous type variable ‘t1’ arising from a use of ‘fmapDefault’
22       prevents the constraint ‘(Traversable t1)’ from being solved.
23       Relevant bindings include
24         x :: t1 a (bound at T10971b.hs:5:8)
25         g :: (a -> b) -> t1 a -> t1 b (bound at T10971b.hs:5:1)
26       Probable fix: use a type annotation to specify what ‘t1’ should be.
27       These potential instances exist:
28         instance Traversable (Either a) -- Defined in ‘Data.Traversable’
29         instance Traversable Maybe -- Defined in ‘Data.Traversable’
30         instance Traversable ((,) a) -- Defined in ‘Data.Traversable’
31         ...plus one other
32         ...plus 29 instances involving out-of-scope types
33         (use -fprint-potential-instances to see them all)
34     • In the expression: fmapDefault f x
35       In the expression: \ f x -> fmapDefault f x
36       In an equation for ‘g’: g = \ f x -> fmapDefault f x
37
38 T10971b.hs:6:14: error:
39     • Ambiguous type variable ‘t0’ arising from a use of ‘fmapDefault’
40       prevents the constraint ‘(Traversable t0)’ from being solved.
41       Relevant bindings include
42         x :: t0 a (bound at T10971b.hs:6:8)
43         h :: (a -> b) -> t0 a -> (t0 b, Int) (bound at T10971b.hs:6:1)
44       Probable fix: use a type annotation to specify what ‘t0’ should be.
45       These potential instances exist:
46         instance Traversable (Either a) -- Defined in ‘Data.Traversable’
47         instance Traversable Maybe -- Defined in ‘Data.Traversable’
48         instance Traversable ((,) a) -- Defined in ‘Data.Traversable’
49         ...plus one other
50         ...plus 29 instances involving out-of-scope types
51         (use -fprint-potential-instances to see them all)
52     • In the expression: fmapDefault f x
53       In the expression: (fmapDefault f x, length x)
54       In the expression: \ f x -> (fmapDefault f x, length x)
55
56 T10971b.hs:6:31: error:
57     • Ambiguous type variable ‘t0’ arising from a use of ‘length’
58       prevents the constraint ‘(Foldable t0)’ from being solved.
59       Relevant bindings include
60         x :: t0 a (bound at T10971b.hs:6:8)
61         h :: (a -> b) -> t0 a -> (t0 b, Int) (bound at T10971b.hs:6:1)
62       Probable fix: use a type annotation to specify what ‘t0’ should be.
63       These potential instances exist:
64         instance Foldable (Either a) -- Defined in ‘Data.Foldable’
65         instance Foldable Maybe -- Defined in ‘Data.Foldable’
66         instance Foldable ((,) a) -- Defined in ‘Data.Foldable’
67         ...plus one other
68         ...plus 29 instances involving out-of-scope types
69         (use -fprint-potential-instances to see them all)
70     • In the expression: length x
71       In the expression: (fmapDefault f x, length x)
72       In the expression: \ f x -> (fmapDefault f x, length x)