Add valid refinement substitution suggestions for typed holes
[ghc.git] / testsuite / tests / typecheck / should_compile / refinement_substitutions.stderr
1
2 refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _ :: [Integer] -> Integer
4     • In the expression: _
5       In an equation for ‘f’: f = _
6     • Relevant bindings include
7         f :: [Integer] -> Integer
8           (bound at refinement_substitutions.hs:4:1)
9       Valid substitutions include
10         f :: [Integer] -> Integer
11           (defined at refinement_substitutions.hs:4:1)
12         g :: [Integer] -> Integer
13           (defined at refinement_substitutions.hs:7:1)
14         product :: forall (t :: * -> *).
15                    Foldable t =>
16                    forall a. Num a => t a -> a
17           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
18            (and originally defined in ‘Data.Foldable’))
19         sum :: forall (t :: * -> *).
20                Foldable t =>
21                forall a. Num a => t a -> a
22           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
23            (and originally defined in ‘Data.Foldable’))
24         maximum :: forall (t :: * -> *).
25                    Foldable t =>
26                    forall a. Ord a => t a -> a
27           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
28            (and originally defined in ‘Data.Foldable’))
29         minimum :: forall (t :: * -> *).
30                    Foldable t =>
31                    forall a. Ord a => t a -> a
32           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
33            (and originally defined in ‘Data.Foldable’))
34         head :: forall a. [a] -> a
35           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
36            (and originally defined in ‘GHC.List’))
37         last :: forall a. [a] -> a
38           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
39            (and originally defined in ‘GHC.List’))
40         undefined :: forall (a :: TYPE r).
41                      GHC.Stack.Types.HasCallStack =>
42                      a
43           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
44            (and originally defined in ‘GHC.Err’))
45       Valid refinement substitutions include
46         foldr _ _ :: forall (t :: * -> *).
47                      Foldable t =>
48                      forall a b. (a -> b -> b) -> b -> t a -> b
49           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
50            (and originally defined in ‘Data.Foldable’))
51         foldl1 _ :: forall (t :: * -> *).
52                     Foldable t =>
53                     forall a. (a -> a -> a) -> t a -> a
54           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
55            (and originally defined in ‘Data.Foldable’))
56         foldr1 _ :: forall (t :: * -> *).
57                     Foldable t =>
58                     forall a. (a -> a -> a) -> t a -> a
59           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
60            (and originally defined in ‘Data.Foldable’))
61         foldl _ _ :: forall (t :: * -> *).
62                      Foldable t =>
63                      forall b a. (b -> a -> b) -> b -> t a -> b
64           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
65            (and originally defined in ‘Data.Foldable’))
66         head _ :: forall a. [a] -> a
67           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
68            (and originally defined in ‘GHC.List’))
69         last _ :: forall a. [a] -> a
70           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
71            (and originally defined in ‘GHC.List’))
72         (!!) _ _ :: forall a. [a] -> Int -> a
73           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
74            (and originally defined in ‘GHC.List’))
75         error _ :: forall (a :: TYPE r).
76                    GHC.Stack.Types.HasCallStack =>
77                    [Char] -> a
78           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
79            (and originally defined in ‘GHC.Err’))
80         errorWithoutStackTrace _ :: forall (a :: TYPE r). [Char] -> a
81           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
82            (and originally defined in ‘GHC.Err’))
83         asTypeOf _ _ :: forall a. a -> a -> a
84           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
85            (and originally defined in ‘GHC.Base’))
86         const _ :: forall a b. a -> b -> a
87           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
88            (and originally defined in ‘GHC.Base’))
89         (.) _ _ :: forall b c a. (b -> c) -> (a -> b) -> a -> c
90           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
91            (and originally defined in ‘GHC.Base’))
92         uncurry _ _ :: forall a b c. (a -> b -> c) -> (a, b) -> c
93           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
94            (and originally defined in ‘Data.Tuple’))
95         ($) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b
96           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
97            (and originally defined in ‘GHC.Base’))
98         ($!) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b
99           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
100            (and originally defined in ‘GHC.Base’))
101         id _ :: forall a. a -> a
102           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
103            (and originally defined in ‘GHC.Base’))
104         snd _ :: forall a b. (a, b) -> b
105           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
106            (and originally defined in ‘Data.Tuple’))
107         fst _ :: forall a b. (a, b) -> a
108           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
109            (and originally defined in ‘Data.Tuple’))
110
111 refinement_substitutions.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
112     • Found hole: _ :: Integer -> [Integer] -> Integer
113     • In the expression: _
114       In the expression: _ 0
115       In an equation for ‘g’: g = _ 0
116     • Relevant bindings include
117         g :: [Integer] -> Integer
118           (bound at refinement_substitutions.hs:7:1)
119       Valid substitutions include
120         const :: forall a b. a -> b -> a
121           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
122            (and originally defined in ‘GHC.Base’))
123         undefined :: forall (a :: TYPE r).
124                      GHC.Stack.Types.HasCallStack =>
125                      a
126           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
127            (and originally defined in ‘GHC.Err’))
128       Valid refinement substitutions include
129         foldr _ :: forall (t :: * -> *).
130                    Foldable t =>
131                    forall a b. (a -> b -> b) -> b -> t a -> b
132           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
133            (and originally defined in ‘Data.Foldable’))
134         foldl _ :: forall (t :: * -> *).
135                    Foldable t =>
136                    forall b a. (b -> a -> b) -> b -> t a -> b
137           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
138            (and originally defined in ‘Data.Foldable’))
139         head _ :: forall a. [a] -> a
140           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
141            (and originally defined in ‘GHC.List’))
142         last _ :: forall a. [a] -> a
143           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
144            (and originally defined in ‘GHC.List’))
145         (!!) _ _ :: forall a. [a] -> Int -> a
146           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
147            (and originally defined in ‘GHC.List’))
148         error _ :: forall (a :: TYPE r).
149                    GHC.Stack.Types.HasCallStack =>
150                    [Char] -> a
151           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
152            (and originally defined in ‘GHC.Err’))
153         errorWithoutStackTrace _ :: forall (a :: TYPE r). [Char] -> a
154           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
155            (and originally defined in ‘GHC.Err’))
156         flip _ :: forall a b c. (a -> b -> c) -> b -> a -> c
157           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
158            (and originally defined in ‘GHC.Base’))
159         asTypeOf _ _ :: forall a. a -> a -> a
160           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
161            (and originally defined in ‘GHC.Base’))
162         const _ :: forall a b. a -> b -> a
163           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
164            (and originally defined in ‘GHC.Base’))
165         (.) _ _ :: forall b c a. (b -> c) -> (a -> b) -> a -> c
166           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
167            (and originally defined in ‘GHC.Base’))
168         uncurry _ _ :: forall a b c. (a -> b -> c) -> (a, b) -> c
169           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
170            (and originally defined in ‘Data.Tuple’))
171         curry _ :: forall a b c. ((a, b) -> c) -> a -> b -> c
172           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
173            (and originally defined in ‘Data.Tuple’))
174         ($) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b
175           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
176            (and originally defined in ‘GHC.Base’))
177         ($!) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b
178           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
179            (and originally defined in ‘GHC.Base’))
180         id _ :: forall a. a -> a
181           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
182            (and originally defined in ‘GHC.Base’))
183         snd _ :: forall a b. (a, b) -> b
184           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
185            (and originally defined in ‘Data.Tuple’))
186         fst _ :: forall a b. (a, b) -> a
187           (imported from ‘Prelude’ at refinement_substitutions.hs:1:8-30
188            (and originally defined in ‘Data.Tuple’))