888680d228ca5187b49dcb515eeff70fbf478a9b
2 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 (bound at refinement_hole_fits.hs:4:1)
8       Valid hole fits include
9         f :: [Integer] -> Integer (bound at refinement_hole_fits.hs:4:1)
10         g :: [Integer] -> Integer (bound at refinement_hole_fits.hs:7:1)
11         head :: forall a. [a] -> a
12           with head @Integer
13           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
14            (and originally defined in ‘GHC.List’))
15         last :: forall a. [a] -> a
16           with last @Integer
17           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
18            (and originally defined in ‘GHC.List’))
19         maximum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a
20           with maximum @[] @Integer
21           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
22            (and originally defined in ‘Data.Foldable’))
23         minimum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a
24           with minimum @[] @Integer
25           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
26            (and originally defined in ‘Data.Foldable’))
27         product :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
28           with product @[] @Integer
29           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
30            (and originally defined in ‘Data.Foldable’))
31         sum :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
32           with sum @[] @Integer
33           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
34            (and originally defined in ‘Data.Foldable’))
35       Valid refinement hole fits include
36         foldl1 (_ :: Integer -> Integer -> Integer)
37           where foldl1 :: forall (t :: * -> *) a.
38                           Foldable t =>
39                           (a -> a -> a) -> t a -> a
40           with foldl1 @[] @Integer
41           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
42            (and originally defined in ‘Data.Foldable’))
43         foldr1 (_ :: Integer -> Integer -> Integer)
44           where foldr1 :: forall (t :: * -> *) a.
45                           Foldable t =>
46                           (a -> a -> a) -> t a -> a
47           with foldr1 @[] @Integer
48           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
49            (and originally defined in ‘Data.Foldable’))
50         foldl (_ :: Integer -> Integer -> Integer) (_ :: Integer)
51           where foldl :: forall (t :: * -> *) b a.
52                          Foldable t =>
53                          (b -> a -> b) -> b -> t a -> b
54           with foldl @[] @Integer @Integer
55           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
56            (and originally defined in ‘Data.Foldable’))
57         foldr (_ :: Integer -> Integer -> Integer) (_ :: Integer)
58           where foldr :: forall (t :: * -> *) a b.
59                          Foldable t =>
60                          (a -> b -> b) -> b -> t a -> b
61           with foldr @[] @Integer @Integer
62           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
63            (and originally defined in ‘Data.Foldable’))
64         const (_ :: Integer)
65           where const :: forall a b. a -> b -> a
66           with const @Integer @[Integer]
67           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
68            (and originally defined in ‘GHC.Base’))
69         (\$) (_ :: [Integer] -> Integer)
70           where (\$) :: forall a b. (a -> b) -> a -> b
71           with (\$) @'GHC.Types.LiftedRep @[Integer] @Integer
72           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
73            (and originally defined in ‘GHC.Base’))
74         fail (_ :: [Char])
75           where fail :: forall (m :: * -> *) a. Monad m => String -> m a
76           with fail @((->) [Integer]) @Integer
77           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
78            (and originally defined in ‘GHC.Base’))
79         return (_ :: Integer)
80           where return :: forall (m :: * -> *) a. Monad m => a -> m a
81           with return @((->) [Integer]) @Integer
82           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
83            (and originally defined in ‘GHC.Base’))
84         pure (_ :: Integer)
85           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
86           with pure @((->) [Integer]) @Integer
87           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
88            (and originally defined in ‘GHC.Base’))
89         (\$!) (_ :: [Integer] -> Integer)
90           where (\$!) :: forall a b. (a -> b) -> a -> b
91           with (\$!) @'GHC.Types.LiftedRep @[Integer] @Integer
92           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
93            (and originally defined in ‘GHC.Base’))
94         id (_ :: [Integer] -> Integer)
95           where id :: forall a. a -> a
96           with id @([Integer] -> Integer)
97           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
98            (and originally defined in ‘GHC.Base’))
99         head (_ :: [[Integer] -> Integer])
100           where head :: forall a. [a] -> a
101           with head @([Integer] -> Integer)
102           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
103            (and originally defined in ‘GHC.List’))
104         last (_ :: [[Integer] -> Integer])
105           where last :: forall a. [a] -> a
106           with last @([Integer] -> Integer)
107           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
108            (and originally defined in ‘GHC.List’))
109         asTypeOf (_ :: [Integer] -> Integer) (_ :: [Integer] -> Integer)
110           where asTypeOf :: forall a. a -> a -> a
111           with asTypeOf @([Integer] -> Integer)
112           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
113            (and originally defined in ‘GHC.Base’))
114         (!!) (_ :: [[Integer] -> Integer]) (_ :: Int)
115           where (!!) :: forall a. [a] -> Int -> a
116           with (!!) @([Integer] -> Integer)
117           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
118            (and originally defined in ‘GHC.List’))
120 refinement_hole_fits.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
121     • Found hole: _ :: Integer -> [Integer] -> Integer
122     • In the expression: _
123       In the expression: _ 0
124       In an equation for ‘g’: g = _ 0
125     • Relevant bindings include
126         g :: [Integer] -> Integer (bound at refinement_hole_fits.hs:7:1)
127       Valid hole fits include
128         const :: forall a b. a -> b -> a
129           with const @Integer @[Integer]
130           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
131            (and originally defined in ‘GHC.Base’))
132         return :: forall (m :: * -> *) a. Monad m => a -> m a
133           with return @((->) [Integer]) @Integer
134           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
135            (and originally defined in ‘GHC.Base’))
136         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
137           with pure @((->) [Integer]) @Integer
138           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
139            (and originally defined in ‘GHC.Base’))
140       Valid refinement hole fits include
141         foldl (_ :: Integer -> Integer -> Integer)
142           where foldl :: forall (t :: * -> *) b a.
143                          Foldable t =>
144                          (b -> a -> b) -> b -> t a -> b
145           with foldl @[] @Integer @Integer
146           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
147            (and originally defined in ‘Data.Foldable’))
148         foldr (_ :: Integer -> Integer -> Integer)
149           where foldr :: forall (t :: * -> *) a b.
150                          Foldable t =>
151                          (a -> b -> b) -> b -> t a -> b
152           with foldr @[] @Integer @Integer
153           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
154            (and originally defined in ‘Data.Foldable’))
155         curry (_ :: (Integer, [Integer]) -> Integer)
156           where curry :: forall a b c. ((a, b) -> c) -> a -> b -> c
157           with curry @Integer @[Integer] @Integer
158           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
159            (and originally defined in ‘Data.Tuple’))
160         flip (_ :: [Integer] -> Integer -> Integer)
161           where flip :: forall a b c. (a -> b -> c) -> b -> a -> c
162           with flip @[Integer] @Integer @Integer
163           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
164            (and originally defined in ‘GHC.Base’))
165         const (_ :: [Integer] -> Integer)
166           where const :: forall a b. a -> b -> a
167           with const @([Integer] -> Integer) @Integer
168           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
169            (and originally defined in ‘GHC.Base’))
170         (\$) (_ :: Integer -> [Integer] -> Integer)
171           where (\$) :: forall a b. (a -> b) -> a -> b
172           with (\$) @'GHC.Types.LiftedRep @Integer @([Integer] -> Integer)
173           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
174            (and originally defined in ‘GHC.Base’))
175         fail (_ :: [Char])
176           where fail :: forall (m :: * -> *) a. Monad m => String -> m a
177           with fail @((->) Integer) @([Integer] -> Integer)
178           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
179            (and originally defined in ‘GHC.Base’))
180         return (_ :: [Integer] -> Integer)
181           where return :: forall (m :: * -> *) a. Monad m => a -> m a
182           with return @((->) Integer) @([Integer] -> Integer)
183           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
184            (and originally defined in ‘GHC.Base’))
185         pure (_ :: [Integer] -> Integer)
186           where pure :: forall (f :: * -> *) a. Applicative f => a -> f a
187           with pure @((->) Integer) @([Integer] -> Integer)
188           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
189            (and originally defined in ‘GHC.Base’))
190         (\$!) (_ :: Integer -> [Integer] -> Integer)
191           where (\$!) :: forall a b. (a -> b) -> a -> b
192           with (\$!) @'GHC.Types.LiftedRep @Integer @([Integer] -> Integer)
193           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
194            (and originally defined in ‘GHC.Base’))
195         id (_ :: Integer -> [Integer] -> Integer)
196           where id :: forall a. a -> a
197           with id @(Integer -> [Integer] -> Integer)
198           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
199            (and originally defined in ‘GHC.Base’))
200         head (_ :: [Integer -> [Integer] -> Integer])
201           where head :: forall a. [a] -> a
202           with head @(Integer -> [Integer] -> Integer)
203           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
204            (and originally defined in ‘GHC.List’))
205         last (_ :: [Integer -> [Integer] -> Integer])
206           where last :: forall a. [a] -> a
207           with last @(Integer -> [Integer] -> Integer)
208           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
209            (and originally defined in ‘GHC.List’))
210         asTypeOf (_ :: Integer -> [Integer] -> Integer)
211                  (_ :: Integer -> [Integer] -> Integer)
212           where asTypeOf :: forall a. a -> a -> a
213           with asTypeOf @(Integer -> [Integer] -> Integer)
214           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
215            (and originally defined in ‘GHC.Base’))
216         (!!) (_ :: [Integer -> [Integer] -> Integer]) (_ :: Int)
217           where (!!) :: forall a. [a] -> Int -> a
218           with (!!) @(Integer -> [Integer] -> Integer)
219           (imported from ‘Prelude’ at refinement_hole_fits.hs:1:8-30
220            (and originally defined in ‘GHC.List’))