Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / partial-sigs / should_fail / TidyClash2.stderr
1
2 TidyClash2.hs:13:20: error:
3     • Found type wildcard ‘_’ standing for ‘w’
4       Where: ‘w’ is a rigid type variable bound by
5                the inferred type of barry :: w -> w1 -> t at TidyClash2.hs:14:1-40
6       To use the inferred type, enable PartialTypeSignatures
7     • In the type signature: barry :: forall t. _ -> _ -> t
8
9 TidyClash2.hs:13:25: error:
10     • Found type wildcard ‘_’ standing for ‘w1’
11       Where: ‘w1’ is a rigid type variable bound by
12                the inferred type of barry :: w -> w1 -> t at TidyClash2.hs:14:1-40
13       To use the inferred type, enable PartialTypeSignatures
14     • In the type signature: barry :: forall t. _ -> _ -> t
15
16 TidyClash2.hs:14:13: error:
17     • Found type wildcard ‘_’ standing for ‘w’
18       Where: ‘w’ is a rigid type variable bound by
19                the inferred type of barry :: w -> w1 -> t at TidyClash2.hs:14:1-40
20       To use the inferred type, enable PartialTypeSignatures
21     • In a pattern type signature: _
22       In the pattern: x :: _
23       In an equation for ‘barry’:
24           barry (x :: _) (y :: _) = undefined :: _
25     • Relevant bindings include
26         barry :: w -> w1 -> t (bound at TidyClash2.hs:14:1)
27
28 TidyClash2.hs:14:22: error:
29     • Found type wildcard ‘_’ standing for ‘w1’
30       Where: ‘w1’ is a rigid type variable bound by
31                the inferred type of barry :: w -> w1 -> t at TidyClash2.hs:14:1-40
32       To use the inferred type, enable PartialTypeSignatures
33     • In a pattern type signature: _
34       In the pattern: y :: _
35       In an equation for ‘barry’:
36           barry (x :: _) (y :: _) = undefined :: _
37     • Relevant bindings include
38         x :: w (bound at TidyClash2.hs:14:8)
39         barry :: w -> w1 -> t (bound at TidyClash2.hs:14:1)
40
41 TidyClash2.hs:14:40: error:
42     • Found type wildcard ‘_’ standing for ‘w2’
43       Where: ‘w2’ is a rigid type variable bound by
44                the inferred type of <expression> :: w2 at TidyClash2.hs:14:40
45       To use the inferred type, enable PartialTypeSignatures
46     • In an expression type signature: _
47       In the expression: undefined :: _
48       In an equation for ‘barry’:
49           barry (x :: _) (y :: _) = undefined :: _
50     • Relevant bindings include
51         y :: w1 (bound at TidyClash2.hs:14:17)
52         x :: w (bound at TidyClash2.hs:14:8)
53         barry :: w -> w1 -> t (bound at TidyClash2.hs:14:1)