Also show types that subsume a hole as valid substitutions for that hole.
[ghc.git] / testsuite / tests / typecheck / should_compile / hole_constraints.stderr
1
2 hole_constraints.hs:8:6: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _ :: a
4       Where: ‘a’ is a rigid type variable bound by
5                the type signature for:
6                  f1 :: forall a. Eq a => a
7                at hole_constraints.hs:7:1-15
8     • In the expression: _
9       In an equation for ‘f1’: f1 = _
10     • Relevant bindings include
11         f1 :: a (bound at hole_constraints.hs:8:1)
12       Constraints include Eq a (from hole_constraints.hs:7:1-15)
13       Valid substitutions include
14         undefined :: forall (a :: TYPE r).
15                      GHC.Stack.Types.HasCallStack =>
16                      a
17           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
18            (and originally defined in ‘GHC.Err’))
19
20 hole_constraints.hs:12:6: warning: [-Wtyped-holes (in -Wdefault)]
21     • Found hole: _ :: a
22       Where: ‘a’ is a rigid type variable bound by
23                the type signature for:
24                  f2 :: forall a. (Show a, Eq a) => a
25                at hole_constraints.hs:11:1-25
26     • In the expression: _
27       In an equation for ‘f2’: f2 = _
28     • Relevant bindings include
29         f2 :: a (bound at hole_constraints.hs:12:1)
30       Constraints include
31         Show a (from hole_constraints.hs:11:1-25)
32         Eq a (from hole_constraints.hs:11:1-25)
33       Valid substitutions include
34         f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
35         undefined :: forall (a :: TYPE r).
36                      GHC.Stack.Types.HasCallStack =>
37                      a
38           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
39            (and originally defined in ‘GHC.Err’))
40
41 hole_constraints.hs:16:35: warning: [-Wtyped-holes (in -Wdefault)]
42     • Found hole: _ :: [a]
43       Where: ‘a’ is a rigid type variable bound by
44                the instance declaration at hole_constraints.hs:16:10-22
45     • In the expression: _
46       In an equation for ‘f3’: f3 = _
47       In the instance declaration for ‘C [a]’
48     • Relevant bindings include
49         f3 :: [a] (bound at hole_constraints.hs:16:30)
50       Constraints include Eq a (from hole_constraints.hs:16:10-22)
51       Valid substitutions include
52         mempty :: forall a. Monoid a => a
53           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
54            (and originally defined in ‘GHC.Base’))
55         undefined :: forall (a :: TYPE r).
56                      GHC.Stack.Types.HasCallStack =>
57                      a
58           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
59            (and originally defined in ‘GHC.Err’))
60
61 hole_constraints.hs:20:19: warning: [-Wtyped-holes (in -Wdefault)]
62     • Found hole: _ :: a
63       Where: ‘a’ is a rigid type variable bound by
64                the type signature for:
65                  castWith :: forall a b. (a :~: b) -> a -> b
66                at hole_constraints.hs:19:1-29
67     • In the expression: _
68       In an equation for ‘castWith’: castWith Refl x = _
69     • Relevant bindings include
70         x :: a (bound at hole_constraints.hs:20:15)
71         castWith :: (a :~: b) -> a -> b (bound at hole_constraints.hs:20:1)
72       Constraints include b ~ a (from hole_constraints.hs:20:10-13)
73       Valid substitutions include
74         undefined :: forall (a :: TYPE r).
75                      GHC.Stack.Types.HasCallStack =>
76                      a
77           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
78            (and originally defined in ‘GHC.Err’))
79
80 hole_constraints.hs:27:32: warning: [-Wtyped-holes (in -Wdefault)]
81     • Found hole: _ :: String
82     • In the expression: _
83       In a case alternative: AnyShow x -> _
84       In the expression: case a of { AnyShow x -> _ }
85     • Relevant bindings include
86         x :: a (bound at hole_constraints.hs:27:27)
87         a :: AnyShow (bound at hole_constraints.hs:27:5)
88         foo :: AnyShow -> String (bound at hole_constraints.hs:27:1)
89       Constraints include Show a (from hole_constraints.hs:27:19-27)
90       Valid substitutions include
91         f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
92         f2 :: forall a. (Show a, Eq a) => a
93           (defined at hole_constraints.hs:12:1)
94         f3 :: forall a. C a => a (defined at hole_constraints.hs:15:17)
95         mempty :: forall a. Monoid a => a
96           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
97            (and originally defined in ‘GHC.Base’))
98         undefined :: forall (a :: TYPE r).
99                      GHC.Stack.Types.HasCallStack =>
100                      a
101           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
102            (and originally defined in ‘GHC.Err’))