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