Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14172.stderr
1
2 T14172.hs:6:46: error:
3     • Found type wildcard ‘_’ standing for ‘a'’
4       Where: ‘a'’ is a rigid type variable bound by
5                the inferred type of
6                  traverseCompose :: (a -> f b) -> g a -> f (h a')
7                at T14172.hs:7:1-46
8       To use the inferred type, enable PartialTypeSignatures
9     • In the type signature:
10         traverseCompose :: (a -> f b) -> g a -> f (h _)
11
12 T14172.hs:7:19: error:
13     • Occurs check: cannot construct the infinite type: a ~ g'1 a
14       Expected type: (f'0 a -> f (f'0 b))
15                      -> Compose f'0 g'1 a -> f (h a')
16         Actual type: (Unwrapped (Compose f'0 g'1 a)
17                       -> f (Unwrapped (h a')))
18                      -> Compose f'0 g'1 a -> f (h a')
19     • In the first argument of ‘(.)’, namely ‘_Wrapping Compose’
20       In the expression: _Wrapping Compose . traverse
21       In an equation for ‘traverseCompose’:
22           traverseCompose = _Wrapping Compose . traverse
23     • Relevant bindings include
24         traverseCompose :: (a -> f b) -> g a -> f (h a')
25           (bound at T14172.hs:7:1)
26
27 T14172.hs:7:19: error:
28     • Couldn't match type ‘g’ with ‘Compose f'0 g'1’
29       ‘g’ is a rigid type variable bound by
30         the inferred type of
31           traverseCompose :: (a -> f b) -> g a -> f (h a')
32         at T14172.hs:7:1-46
33       Expected type: (a -> f b) -> g a -> f (h a')
34         Actual type: (a -> f b) -> Compose f'0 g'1 a -> f (h a')
35     • In the expression: _Wrapping Compose . traverse
36       In an equation for ‘traverseCompose’:
37           traverseCompose = _Wrapping Compose . traverse
38     • Relevant bindings include
39         traverseCompose :: (a -> f b) -> g a -> f (h a')
40           (bound at T14172.hs:7:1)