d3ea7d453374e9d74b06cbc1f4f12985b00a6cd8
[ghc.git] / testsuite / tests / typecheck / should_compile / abstract_refinement_hole_fits.stderr
1
2 abstract_refinement_hole_fits.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 abstract_refinement_hole_fits.hs:4:1)
9       Valid hole fits include
10         f :: [Integer] -> Integer
11         g :: [Integer] -> Integer
12         head :: forall a. [a] -> a
13         last :: forall a. [a] -> a
14         maximum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a
15         minimum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a
16         product :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
17         sum :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
18       Valid refinement hole fits include
19         foldl1 (_ :: Integer -> Integer -> Integer)
20           where foldl1 :: forall (t :: * -> *) a.
21                           Foldable t =>
22                           (a -> a -> a) -> t a -> a
23         foldr1 (_ :: Integer -> Integer -> Integer)
24           where foldr1 :: forall (t :: * -> *) a.
25                           Foldable t =>
26                           (a -> a -> a) -> t a -> a
27         foldl (_ :: Integer -> Integer -> Integer) (_ :: Integer)
28           where foldl :: forall (t :: * -> *) b a.
29                          Foldable t =>
30                          (b -> a -> b) -> b -> t a -> b
31         foldr (_ :: Integer -> Integer -> Integer) (_ :: Integer)
32           where foldr :: forall (t :: * -> *) a b.
33                          Foldable t =>
34                          (a -> b -> b) -> b -> t a -> b
35         const (_ :: Integer)
36           where const :: forall a b. a -> b -> a
37         ($) (_ :: [Integer] -> Integer)
38           where ($) :: forall a b. (a -> b) -> a -> b
39         fail (_ :: [Char])
40           where fail :: forall (m :: * -> *) a. Monad m => String -> m a
41         return (_ :: Integer)
42           where return :: forall (m :: * -> *) a. Monad m => a -> m a
43         pure (_ :: Integer)
44           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
45         ($!) (_ :: [Integer] -> Integer)
46           where ($!) :: forall a b. (a -> b) -> a -> b
47         curry (_ :: (a2, [Integer]) -> Integer) (_ :: a2)
48           where curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
49         (.) (_ :: b1 -> Integer) (_ :: [Integer] -> b1)
50           where (.) :: forall b c a. (b -> c) -> (a -> b) -> a -> c
51         flip (_ :: [Integer] -> b7 -> Integer) (_ :: b7)
52           where flip :: forall a b c. (a -> b -> c) -> b -> a -> c
53         (>>=) (_ :: [Integer] -> a11) (_ :: a11 -> [Integer] -> Integer)
54           where (>>=) :: forall (m :: * -> *) a b.
55                          Monad m =>
56                          m a -> (a -> m b) -> m b
57         (>>) (_ :: [Integer] -> a10) (_ :: [Integer] -> Integer)
58           where (>>) :: forall (m :: * -> *) a b.
59                         Monad m =>
60                         m a -> m b -> m b
61         fmap (_ :: a12 -> Integer) (_ :: [Integer] -> a12)
62           where fmap :: forall (f :: * -> *) a b.
63                         Functor f =>
64                         (a -> b) -> f a -> f b
65         (<*>) (_ :: [Integer] -> a8 -> Integer) (_ :: [Integer] -> a8)
66           where (<*>) :: forall (f :: * -> *) a b.
67                          Applicative f =>
68                          f (a -> b) -> f a -> f b
69         (*>) (_ :: [Integer] -> a7) (_ :: [Integer] -> Integer)
70           where (*>) :: forall (f :: * -> *) a b.
71                         Applicative f =>
72                         f a -> f b -> f b
73         (<$>) (_ :: a1 -> Integer) (_ :: [Integer] -> a1)
74           where (<$>) :: forall (f :: * -> *) a b.
75                          Functor f =>
76                          (a -> b) -> f a -> f b
77         (=<<) (_ :: a9 -> [Integer] -> Integer) (_ :: [Integer] -> a9)
78           where (=<<) :: forall (m :: * -> *) a b.
79                          Monad m =>
80                          (a -> m b) -> m a -> m b
81         (<*) (_ :: [Integer] -> Integer) (_ :: [Integer] -> b5)
82           where (<*) :: forall (f :: * -> *) a b.
83                         Applicative f =>
84                         f a -> f b -> f a
85         (<$) (_ :: Integer) (_ :: [Integer] -> b4)
86           where (<$) :: forall (f :: * -> *) a b.
87                         Functor f =>
88                         a -> f b -> f a
89         id (_ :: t1 -> [Integer] -> Integer) (_ :: t1)
90           where id :: forall a. a -> a
91         head (_ :: [t1 -> [Integer] -> Integer]) (_ :: t1)
92           where head :: forall a. [a] -> a
93         last (_ :: [t1 -> [Integer] -> Integer]) (_ :: t1)
94           where last :: forall a. [a] -> a
95         fst (_ :: (t1 -> [Integer] -> Integer, b2)) (_ :: t1)
96           where fst :: forall a b. (a, b) -> a
97         snd (_ :: (a3, t1 -> [Integer] -> Integer)) (_ :: t1)
98           where snd :: forall a b. (a, b) -> b
99         id (_ :: [Integer] -> Integer)
100           where id :: forall a. a -> a
101         head (_ :: [[Integer] -> Integer])
102           where head :: forall a. [a] -> a
103         last (_ :: [[Integer] -> Integer])
104           where last :: forall a. [a] -> a
105         asTypeOf (_ :: [Integer] -> Integer) (_ :: [Integer] -> Integer)
106           where asTypeOf :: forall a. a -> a -> a
107         (!!) (_ :: [[Integer] -> Integer]) (_ :: Int)
108           where (!!) :: forall a. [a] -> Int -> a
109         fst (_ :: ([Integer] -> Integer, b0))
110           where fst :: forall a b. (a, b) -> a
111         snd (_ :: (a0, [Integer] -> Integer))
112           where snd :: forall a b. (a, b) -> b
113         seq (_ :: a13) (_ :: [Integer] -> Integer)
114           where seq :: forall a b. a -> b -> b
115         const (_ :: [Integer] -> Integer) (_ :: b6)
116           where const :: forall a b. a -> b -> a
117         ($) (_ :: a5 -> [Integer] -> Integer) (_ :: a5)
118           where ($) :: forall a b. (a -> b) -> a -> b
119         fail (_ :: [Char]) (_ :: t1)
120           where fail :: forall (m :: * -> *) a. Monad m => String -> m a
121         return (_ :: [Integer] -> Integer) (_ :: t1)
122           where return :: forall (m :: * -> *) a. Monad m => a -> m a
123         pure (_ :: [Integer] -> Integer) (_ :: t1)
124           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
125         uncurry (_ :: a4 -> b3 -> [Integer] -> Integer) (_ :: (a4, b3))
126           where uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
127         ($!) (_ :: a6 -> [Integer] -> Integer) (_ :: a6)
128           where ($!) :: forall a b. (a -> b) -> a -> b
129
130 abstract_refinement_hole_fits.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
131     • Found hole: _ :: Integer -> [Integer] -> Integer
132     • In the expression: _
133       In the expression: _ 0
134       In an equation for ‘g’: g = _ 0
135     • Relevant bindings include
136         g :: [Integer] -> Integer
137           (bound at abstract_refinement_hole_fits.hs:7:1)
138       Valid hole fits include
139         const :: forall a b. a -> b -> a
140         return :: forall (m :: * -> *) a. Monad m => a -> m a
141         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
142       Valid refinement hole fits include
143         foldl (_ :: Integer -> Integer -> Integer)
144           where foldl :: forall (t :: * -> *) b a.
145                          Foldable t =>
146                          (b -> a -> b) -> b -> t a -> b
147         foldr (_ :: Integer -> Integer -> Integer)
148           where foldr :: forall (t :: * -> *) a b.
149                          Foldable t =>
150                          (a -> b -> b) -> b -> t a -> b
151         curry (_ :: (Integer, [Integer]) -> Integer)
152           where curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
153         flip (_ :: [Integer] -> Integer -> Integer)
154           where flip :: forall a b c. (a -> b -> c) -> b -> a -> c
155         const (_ :: [Integer] -> Integer)
156           where const :: forall a b. a -> b -> a
157         ($) (_ :: Integer -> [Integer] -> Integer)
158           where ($) :: forall a b. (a -> b) -> a -> b
159         fail (_ :: [Char])
160           where fail :: forall (m :: * -> *) a. Monad m => String -> m a
161         return (_ :: [Integer] -> Integer)
162           where return :: forall (m :: * -> *) a. Monad m => a -> m a
163         pure (_ :: [Integer] -> Integer)
164           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
165         ($!) (_ :: Integer -> [Integer] -> Integer)
166           where ($!) :: forall a b. (a -> b) -> a -> b
167         curry (_ :: (a2, Integer) -> [Integer] -> Integer) (_ :: a2)
168           where curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
169         (.) (_ :: b1 -> [Integer] -> Integer) (_ :: Integer -> b1)
170           where (.) :: forall b c a. (b -> c) -> (a -> b) -> a -> c
171         flip (_ :: Integer -> b7 -> [Integer] -> Integer) (_ :: b7)
172           where flip :: forall a b c. (a -> b -> c) -> b -> a -> c
173         (>>=) (_ :: Integer -> a11)
174               (_ :: a11 -> Integer -> [Integer] -> Integer)
175           where (>>=) :: forall (m :: * -> *) a b.
176                          Monad m =>
177                          m a -> (a -> m b) -> m b
178         (>>) (_ :: Integer -> a10) (_ :: Integer -> [Integer] -> Integer)
179           where (>>) :: forall (m :: * -> *) a b.
180                         Monad m =>
181                         m a -> m b -> m b
182         fmap (_ :: a12 -> [Integer] -> Integer) (_ :: Integer -> a12)
183           where fmap :: forall (f :: * -> *) a b.
184                         Functor f =>
185                         (a -> b) -> f a -> f b
186         (<*>) (_ :: Integer -> a8 -> [Integer] -> Integer)
187               (_ :: Integer -> a8)
188           where (<*>) :: forall (f :: * -> *) a b.
189                          Applicative f =>
190                          f (a -> b) -> f a -> f b
191         (*>) (_ :: Integer -> a7) (_ :: Integer -> [Integer] -> Integer)
192           where (*>) :: forall (f :: * -> *) a b.
193                         Applicative f =>
194                         f a -> f b -> f b
195         (<$>) (_ :: a1 -> [Integer] -> Integer) (_ :: Integer -> a1)
196           where (<$>) :: forall (f :: * -> *) a b.
197                          Functor f =>
198                          (a -> b) -> f a -> f b
199         (=<<) (_ :: a9 -> Integer -> [Integer] -> Integer)
200               (_ :: Integer -> a9)
201           where (=<<) :: forall (m :: * -> *) a b.
202                          Monad m =>
203                          (a -> m b) -> m a -> m b
204         (<*) (_ :: Integer -> [Integer] -> Integer) (_ :: Integer -> b5)
205           where (<*) :: forall (f :: * -> *) a b.
206                         Applicative f =>
207                         f a -> f b -> f a
208         (<$) (_ :: [Integer] -> Integer) (_ :: Integer -> b4)
209           where (<$) :: forall (f :: * -> *) a b.
210                         Functor f =>
211                         a -> f b -> f a
212         id (_ :: t1 -> Integer -> [Integer] -> Integer) (_ :: t1)
213           where id :: forall a. a -> a
214         head (_ :: [t1 -> Integer -> [Integer] -> Integer]) (_ :: t1)
215           where head :: forall a. [a] -> a
216         last (_ :: [t1 -> Integer -> [Integer] -> Integer]) (_ :: t1)
217           where last :: forall a. [a] -> a
218         fst (_ :: (t1 -> Integer -> [Integer] -> Integer, b2)) (_ :: t1)
219           where fst :: forall a b. (a, b) -> a
220         snd (_ :: (a3, t1 -> Integer -> [Integer] -> Integer)) (_ :: t1)
221           where snd :: forall a b. (a, b) -> b
222         id (_ :: Integer -> [Integer] -> Integer)
223           where id :: forall a. a -> a
224         head (_ :: [Integer -> [Integer] -> Integer])
225           where head :: forall a. [a] -> a
226         last (_ :: [Integer -> [Integer] -> Integer])
227           where last :: forall a. [a] -> a
228         asTypeOf (_ :: Integer -> [Integer] -> Integer)
229                  (_ :: Integer -> [Integer] -> Integer)
230           where asTypeOf :: forall a. a -> a -> a
231         (!!) (_ :: [Integer -> [Integer] -> Integer]) (_ :: Int)
232           where (!!) :: forall a. [a] -> Int -> a
233         fst (_ :: (Integer -> [Integer] -> Integer, b0))
234           where fst :: forall a b. (a, b) -> a
235         snd (_ :: (a0, Integer -> [Integer] -> Integer))
236           where snd :: forall a b. (a, b) -> b
237         seq (_ :: a13) (_ :: Integer -> [Integer] -> Integer)
238           where seq :: forall a b. a -> b -> b
239         const (_ :: Integer -> [Integer] -> Integer) (_ :: b6)
240           where const :: forall a b. a -> b -> a
241         ($) (_ :: a5 -> Integer -> [Integer] -> Integer) (_ :: a5)
242           where ($) :: forall a b. (a -> b) -> a -> b
243         fail (_ :: [Char]) (_ :: t1)
244           where fail :: forall (m :: * -> *) a. Monad m => String -> m a
245         return (_ :: Integer -> [Integer] -> Integer) (_ :: t1)
246           where return :: forall (m :: * -> *) a. Monad m => a -> m a
247         pure (_ :: Integer -> [Integer] -> Integer) (_ :: t1)
248           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
249         uncurry (_ :: a4 -> b3 -> Integer -> [Integer] -> Integer)
250                 (_ :: (a4, b3))
251           where uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
252         ($!) (_ :: a6 -> Integer -> [Integer] -> Integer) (_ :: a6)
253           where ($!) :: forall a b. (a -> b) -> a -> b