Extended default rules now specialize Foldable, Traversable to [] (#10971)
[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 (Const m) -- Defined in ‘Control.Applicative’
11       instance Foldable ZipList -- Defined in ‘Control.Applicative’
12       instance Foldable (Either a) -- Defined in ‘Data.Foldable’
13       ...plus 10 others
14       (use -fprint-potential-instances to see them all)
15     In the expression: length x
16     In the expression: \ x -> length x
17     In an equation for ‘f’: f = \ x -> length x
18
19 T10971b.hs:5:13: error:
20     Ambiguous type variable ‘t1’ arising from a use of ‘fmapDefault’
21     prevents the constraint ‘(Traversable t1)’ from being solved.
22     Relevant bindings include
23       x :: t1 a (bound at T10971b.hs:5:8)
24       g :: (a -> b) -> t1 a -> t1 b (bound at T10971b.hs:5:1)
25     Probable fix: use a type annotation to specify what ‘t1’ should be.
26     These potential instances exist:
27       instance Traversable (Const m) -- Defined in ‘Data.Traversable’
28       instance Traversable ZipList -- Defined in ‘Data.Traversable’
29       instance Traversable (Either a) -- Defined in ‘Data.Traversable’
30       ...plus 10 others
31       (use -fprint-potential-instances to see them all)
32     In the expression: fmapDefault f x
33     In the expression: \ f x -> fmapDefault f x
34     In an equation for ‘g’: g = \ f x -> fmapDefault f x
35
36 T10971b.hs:6:14: error:
37     Ambiguous type variable ‘t0’ arising from a use of ‘fmapDefault’
38     prevents the constraint ‘(Traversable t0)’ from being solved.
39     Relevant bindings include
40       x :: t0 a (bound at T10971b.hs:6:8)
41       h :: (a -> b) -> t0 a -> (t0 b, Int) (bound at T10971b.hs:6:1)
42     Probable fix: use a type annotation to specify what ‘t0’ should be.
43     These potential instances exist:
44       instance Traversable (Const m) -- Defined in ‘Data.Traversable’
45       instance Traversable ZipList -- Defined in ‘Data.Traversable’
46       instance Traversable (Either a) -- Defined in ‘Data.Traversable’
47       ...plus 10 others
48       (use -fprint-potential-instances to see them all)
49     In the expression: fmapDefault f x
50     In the expression: (fmapDefault f x, length x)
51     In the expression: \ f x -> (fmapDefault f x, length x)
52
53 T10971b.hs:6:31: error:
54     Ambiguous type variable ‘t0’ arising from a use of ‘length’
55     prevents the constraint ‘(Foldable t0)’ from being solved.
56     Relevant bindings include
57       x :: t0 a (bound at T10971b.hs:6:8)
58       h :: (a -> b) -> t0 a -> (t0 b, Int) (bound at T10971b.hs:6:1)
59     Probable fix: use a type annotation to specify what ‘t0’ should be.
60     These potential instances exist:
61       instance Foldable (Const m) -- Defined in ‘Control.Applicative’
62       instance Foldable ZipList -- Defined in ‘Control.Applicative’
63       instance Foldable (Either a) -- Defined in ‘Data.Foldable’
64       ...plus 10 others
65       (use -fprint-potential-instances to see them all)
66     In the expression: length x
67     In the expression: (fmapDefault f x, length x)
68     In the expression: \ f x -> (fmapDefault f x, length x)