Track type variable scope more carefully.
[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         f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
15         undefined :: forall a. GHC.Stack.Types.HasCallStack => a
16           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
17            (and originally defined in ‘GHC.Err’))
18
19 hole_constraints.hs:12:6: warning: [-Wtyped-holes (in -Wdefault)]
20     • Found hole: _ :: a
21       Where: ‘a’ is a rigid type variable bound by
22                the type signature for:
23                  f2 :: forall a. (Show a, Eq a) => a
24                at hole_constraints.hs:11:1-25
25     • In the expression: _
26       In an equation for ‘f2’: f2 = _
27     • Relevant bindings include
28         f2 :: a (bound at hole_constraints.hs:12:1)
29       Constraints include
30         Show a (from hole_constraints.hs:11:1-25)
31         Eq a (from hole_constraints.hs:11:1-25)
32       Valid substitutions include
33         f2 :: forall a. (Show a, Eq a) => a
34           (defined at hole_constraints.hs:12:1)
35         f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
36         undefined :: forall a. GHC.Stack.Types.HasCallStack => a
37           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
38            (and originally defined in ‘GHC.Err’))
39
40 hole_constraints.hs:16:35: warning: [-Wtyped-holes (in -Wdefault)]
41     • Found hole: _ :: [a]
42       Where: ‘a’ is a rigid type variable bound by
43                the instance declaration
44                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         f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
53         f3 :: forall a. C a => a (defined at hole_constraints.hs:15:17)
54         mempty :: forall a. Monoid a => a
55           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
56            (and originally defined in ‘GHC.Base’))
57         undefined :: forall a. GHC.Stack.Types.HasCallStack => 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. GHC.Stack.Types.HasCallStack => a
75           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
76            (and originally defined in ‘GHC.Err’))
77
78 hole_constraints.hs:27:32: warning: [-Wtyped-holes (in -Wdefault)]
79     • Found hole: _ :: String
80     • In the expression: _
81       In a case alternative: AnyShow x -> _
82       In the expression: case a of { AnyShow x -> _ }
83     • Relevant bindings include
84         x :: a (bound at hole_constraints.hs:27:27)
85         a :: AnyShow (bound at hole_constraints.hs:27:5)
86         foo :: AnyShow -> String (bound at hole_constraints.hs:27:1)
87       Constraints include Show a (from hole_constraints.hs:27:19-27)
88       Valid substitutions include
89         f2 :: forall a. (Show a, Eq a) => a
90           (defined at hole_constraints.hs:12:1)
91         f1 :: forall a. Eq a => a (defined at hole_constraints.hs:8:1)
92         f3 :: forall a. C a => a (defined at hole_constraints.hs:15:17)
93         mempty :: forall a. Monoid a => a
94           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
95            (and originally defined in ‘GHC.Base’))
96         undefined :: forall a. GHC.Stack.Types.HasCallStack => a
97           (imported from ‘Prelude’ at hole_constraints.hs:3:8-22
98            (and originally defined in ‘GHC.Err’))