Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T15039d.stderr
1
2 T15039d.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’
4         standing for ‘Dict ((a :: Type) ~ (b :: Type))’
5       Where: ‘a’, ‘b’ are rigid type variables bound by
6                the type signature for:
7                  ex1 :: forall a b. Dict ((a :: Type) ~ (b :: Type)) -> ()
8                at T15039d.hs:18:1-45
9     • In a pattern type signature: _
10       In the pattern: Dict :: _
11       In an equation for ‘ex1’: ex1 (Dict :: _) = ()
12     • Relevant bindings include
13         ex1 :: Dict ((a :: Type) ~ (b :: Type)) -> ()
14           (bound at T15039d.hs:19:1)
15
16 T15039d.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
17     • Found type wildcard ‘_’
18         standing for ‘Dict ((a :: Type) ~~ (b :: Type))’
19       Where: ‘a’, ‘b’ are rigid type variables bound by
20                the type signature for:
21                  ex2 :: forall a b. Dict ((a :: Type) ~~ (b :: Type)) -> ()
22                at T15039d.hs:21:1-46
23     • In a pattern type signature: _
24       In the pattern: Dict :: _
25       In an equation for ‘ex2’: ex2 (Dict :: _) = ()
26     • Relevant bindings include
27         ex2 :: Dict ((a :: Type) ~~ (b :: Type)) -> ()
28           (bound at T15039d.hs:22:1)
29
30 T15039d.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
31     • Found type wildcard ‘_’
32         standing for ‘Dict ((a :: Type) ~~ (b :: k))’
33       Where: ‘a’, ‘b’, ‘k’ are rigid type variables bound by
34                the type signature for:
35                  ex3 :: forall k a (b :: k). Dict ((a :: Type) ~~ (b :: k)) -> ()
36                at T15039d.hs:24:1-43
37     • In a pattern type signature: _
38       In the pattern: Dict :: _
39       In an equation for ‘ex3’: ex3 (Dict :: _) = ()
40     • Relevant bindings include
41         ex3 :: Dict ((a :: Type) ~~ (b :: k)) -> ()
42           (bound at T15039d.hs:25:1)
43
44 T15039d.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
45     • Found type wildcard ‘_’ standing for ‘Dict (Coercible Type a b)’
46       Where: ‘a’, ‘b’ are rigid type variables bound by
47                the type signature for:
48                  ex6 :: forall a b. Dict (Coercible Type a b) -> ()
49                at T15039d.hs:32:1-53
50     • In a pattern type signature: _
51       In the pattern: Dict :: _
52       In an equation for ‘ex6’: ex6 (Dict :: _) = ()
53     • Relevant bindings include
54         ex6 :: Dict (Coercible Type a b) -> () (bound at T15039d.hs:33:1)
55
56 T15039d.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
57     • Found type wildcard ‘_’
58         standing for ‘(a :: Type) ~R# (b :: Type)’
59       Where: ‘a’, ‘b’ are rigid type variables bound by
60                the inferred type of
61                  ex7 :: ((a :: Type) ~R# (b :: Type)) => Coercion Type a b
62                at T15039d.hs:36:1-14
63     • In the type signature:
64         ex7 :: _ => Coercion (a :: Type) (b :: Type)