testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T13050.stderr
1
2 T13050.hs:4:9: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole: _ :: Int -> Int -> Int
4     • In the expression: _
5       In the expression: _ x y
6       In an equation for ‘f’: f x y = _ x y
7     • Relevant bindings include
8         y :: Int (bound at T13050.hs:4:5)
9         x :: Int (bound at T13050.hs:4:3)
10         f :: Int -> Int -> Int (bound at T13050.hs:4:1)
11       Valid hole fits include
12         f :: Int -> Int -> Int (bound at T13050.hs:4:1)
13         g :: Int -> Int -> Int (bound at T13050.hs:5:1)
14         q :: Int -> Int -> Int (bound at T13050.hs:6:1)
15         seq :: forall a b. a -> b -> b
16           with seq @Int @Int
17           (imported from ‘Prelude’ at T13050.hs:1:8-17
18            (and originally defined in ‘GHC.Prim’))
19         (-) :: forall a. Num a => a -> a -> a
20           with (-) @Int
21           (imported from ‘Prelude’ at T13050.hs:1:8-17
22            (and originally defined in ‘GHC.Num’))
23         asTypeOf :: forall a. a -> a -> a
24           with asTypeOf @Int
25           (imported from ‘Prelude’ at T13050.hs:1:8-17
26            (and originally defined in ‘GHC.Base’))
27         const :: forall a b. a -> b -> a
28           with const @Int @Int
29           (imported from ‘Prelude’ at T13050.hs:1:8-17
30            (and originally defined in ‘GHC.Base’))
31         subtract :: forall a. Num a => a -> a -> a
32           with subtract @Int
33           (imported from ‘Prelude’ at T13050.hs:1:8-17
34            (and originally defined in ‘GHC.Num’))
35         (^) :: forall a b. (Num a, Integral b) => a -> b -> a
36           with (^) @Int @Int
37           (imported from ‘Prelude’ at T13050.hs:1:8-17
38            (and originally defined in ‘GHC.Real’))
39         gcd :: forall a. Integral a => a -> a -> a
40           with gcd @Int
41           (imported from ‘Prelude’ at T13050.hs:1:8-17
42            (and originally defined in ‘GHC.Real’))
43         lcm :: forall a. Integral a => a -> a -> a
44           with lcm @Int
45           (imported from ‘Prelude’ at T13050.hs:1:8-17
46            (and originally defined in ‘GHC.Real’))
47         (*) :: forall a. Num a => a -> a -> a
48           with (*) @Int
49           (imported from ‘Prelude’ at T13050.hs:1:8-17
50            (and originally defined in ‘GHC.Num’))
51         (+) :: forall a. Num a => a -> a -> a
52           with (+) @Int
53           (imported from ‘Prelude’ at T13050.hs:1:8-17
54            (and originally defined in ‘GHC.Num’))
55         div :: forall a. Integral a => a -> a -> a
56           with div @Int
57           (imported from ‘Prelude’ at T13050.hs:1:8-17
58            (and originally defined in ‘GHC.Real’))
59         mod :: forall a. Integral a => a -> a -> a
60           with mod @Int
61           (imported from ‘Prelude’ at T13050.hs:1:8-17
62            (and originally defined in ‘GHC.Real’))
63         quot :: forall a. Integral a => a -> a -> a
64           with quot @Int
65           (imported from ‘Prelude’ at T13050.hs:1:8-17
66            (and originally defined in ‘GHC.Real’))
67         rem :: forall a. Integral a => a -> a -> a
68           with rem @Int
69           (imported from ‘Prelude’ at T13050.hs:1:8-17
70            (and originally defined in ‘GHC.Real’))
71         max :: forall a. Ord a => a -> a -> a
72           with max @Int
73           (imported from ‘Prelude’ at T13050.hs:1:8-17
74            (and originally defined in ‘GHC.Classes’))
75         min :: forall a. Ord a => a -> a -> a
76           with min @Int
77           (imported from ‘Prelude’ at T13050.hs:1:8-17
78            (and originally defined in ‘GHC.Classes’))
79         return :: forall (m :: * -> *) a. Monad m => a -> m a
80           with return @((->) Int) @Int
81           (imported from ‘Prelude’ at T13050.hs:1:8-17
82            (and originally defined in ‘GHC.Base’))
83         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
84           with pure @((->) Int) @Int
85           (imported from ‘Prelude’ at T13050.hs:1:8-17
86            (and originally defined in ‘GHC.Base’))
87
88 T13050.hs:5:11: warning: [-Wtyped-holes (in -Wdefault)]
89     • Found hole: _ :: Int -> Int -> Int
90     • In the expression: _
91       In the expression: x `_` y
92       In an equation for ‘g’: g x y = x `_` y
93     • Relevant bindings include
94         y :: Int (bound at T13050.hs:5:5)
95         x :: Int (bound at T13050.hs:5:3)
96         g :: Int -> Int -> Int (bound at T13050.hs:5:1)
97       Valid hole fits include
98         g :: Int -> Int -> Int (bound at T13050.hs:5:1)
99         f :: Int -> Int -> Int (defined at T13050.hs:4:1)
100         q :: Int -> Int -> Int (bound at T13050.hs:6:1)
101         seq :: forall a b. a -> b -> b
102           with seq @Int @Int
103           (imported from ‘Prelude’ at T13050.hs:1:8-17
104            (and originally defined in ‘GHC.Prim’))
105         (-) :: forall a. Num a => a -> a -> a
106           with (-) @Int
107           (imported from ‘Prelude’ at T13050.hs:1:8-17
108            (and originally defined in ‘GHC.Num’))
109         asTypeOf :: forall a. a -> a -> a
110           with asTypeOf @Int
111           (imported from ‘Prelude’ at T13050.hs:1:8-17
112            (and originally defined in ‘GHC.Base’))
113         const :: forall a b. a -> b -> a
114           with const @Int @Int
115           (imported from ‘Prelude’ at T13050.hs:1:8-17
116            (and originally defined in ‘GHC.Base’))
117         subtract :: forall a. Num a => a -> a -> a
118           with subtract @Int
119           (imported from ‘Prelude’ at T13050.hs:1:8-17
120            (and originally defined in ‘GHC.Num’))
121         (^) :: forall a b. (Num a, Integral b) => a -> b -> a
122           with (^) @Int @Int
123           (imported from ‘Prelude’ at T13050.hs:1:8-17
124            (and originally defined in ‘GHC.Real’))
125         gcd :: forall a. Integral a => a -> a -> a
126           with gcd @Int
127           (imported from ‘Prelude’ at T13050.hs:1:8-17
128            (and originally defined in ‘GHC.Real’))
129         lcm :: forall a. Integral a => a -> a -> a
130           with lcm @Int
131           (imported from ‘Prelude’ at T13050.hs:1:8-17
132            (and originally defined in ‘GHC.Real’))
133         (*) :: forall a. Num a => a -> a -> a
134           with (*) @Int
135           (imported from ‘Prelude’ at T13050.hs:1:8-17
136            (and originally defined in ‘GHC.Num’))
137         (+) :: forall a. Num a => a -> a -> a
138           with (+) @Int
139           (imported from ‘Prelude’ at T13050.hs:1:8-17
140            (and originally defined in ‘GHC.Num’))
141         div :: forall a. Integral a => a -> a -> a
142           with div @Int
143           (imported from ‘Prelude’ at T13050.hs:1:8-17
144            (and originally defined in ‘GHC.Real’))
145         mod :: forall a. Integral a => a -> a -> a
146           with mod @Int
147           (imported from ‘Prelude’ at T13050.hs:1:8-17
148            (and originally defined in ‘GHC.Real’))
149         quot :: forall a. Integral a => a -> a -> a
150           with quot @Int
151           (imported from ‘Prelude’ at T13050.hs:1:8-17
152            (and originally defined in ‘GHC.Real’))
153         rem :: forall a. Integral a => a -> a -> a
154           with rem @Int
155           (imported from ‘Prelude’ at T13050.hs:1:8-17
156            (and originally defined in ‘GHC.Real’))
157         max :: forall a. Ord a => a -> a -> a
158           with max @Int
159           (imported from ‘Prelude’ at T13050.hs:1:8-17
160            (and originally defined in ‘GHC.Classes’))
161         min :: forall a. Ord a => a -> a -> a
162           with min @Int
163           (imported from ‘Prelude’ at T13050.hs:1:8-17
164            (and originally defined in ‘GHC.Classes’))
165         return :: forall (m :: * -> *) a. Monad m => a -> m a
166           with return @((->) Int) @Int
167           (imported from ‘Prelude’ at T13050.hs:1:8-17
168            (and originally defined in ‘GHC.Base’))
169         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
170           with pure @((->) Int) @Int
171           (imported from ‘Prelude’ at T13050.hs:1:8-17
172            (and originally defined in ‘GHC.Base’))
173
174 T13050.hs:6:11: warning: [-Wtyped-holes (in -Wdefault)]
175     • Found hole: _a :: Int -> Int -> Int
176       Or perhaps ‘_a’ is mis-spelled, or not in scope
177     • In the expression: _a
178       In the expression: x `_a` y
179       In an equation for ‘q’: q x y = x `_a` y
180     • Relevant bindings include
181         y :: Int (bound at T13050.hs:6:5)
182         x :: Int (bound at T13050.hs:6:3)
183         q :: Int -> Int -> Int (bound at T13050.hs:6:1)
184       Valid hole fits include
185         q :: Int -> Int -> Int (bound at T13050.hs:6:1)
186         f :: Int -> Int -> Int (defined at T13050.hs:4:1)
187         g :: Int -> Int -> Int (defined at T13050.hs:5:1)
188         seq :: forall a b. a -> b -> b
189           with seq @Int @Int
190           (imported from ‘Prelude’ at T13050.hs:1:8-17
191            (and originally defined in ‘GHC.Prim’))
192         (-) :: forall a. Num a => a -> a -> a
193           with (-) @Int
194           (imported from ‘Prelude’ at T13050.hs:1:8-17
195            (and originally defined in ‘GHC.Num’))
196         asTypeOf :: forall a. a -> a -> a
197           with asTypeOf @Int
198           (imported from ‘Prelude’ at T13050.hs:1:8-17
199            (and originally defined in ‘GHC.Base’))
200         const :: forall a b. a -> b -> a
201           with const @Int @Int
202           (imported from ‘Prelude’ at T13050.hs:1:8-17
203            (and originally defined in ‘GHC.Base’))
204         subtract :: forall a. Num a => a -> a -> a
205           with subtract @Int
206           (imported from ‘Prelude’ at T13050.hs:1:8-17
207            (and originally defined in ‘GHC.Num’))
208         (^) :: forall a b. (Num a, Integral b) => a -> b -> a
209           with (^) @Int @Int
210           (imported from ‘Prelude’ at T13050.hs:1:8-17
211            (and originally defined in ‘GHC.Real’))
212         gcd :: forall a. Integral a => a -> a -> a
213           with gcd @Int
214           (imported from ‘Prelude’ at T13050.hs:1:8-17
215            (and originally defined in ‘GHC.Real’))
216         lcm :: forall a. Integral a => a -> a -> a
217           with lcm @Int
218           (imported from ‘Prelude’ at T13050.hs:1:8-17
219            (and originally defined in ‘GHC.Real’))
220         (*) :: forall a. Num a => a -> a -> a
221           with (*) @Int
222           (imported from ‘Prelude’ at T13050.hs:1:8-17
223            (and originally defined in ‘GHC.Num’))
224         (+) :: forall a. Num a => a -> a -> a
225           with (+) @Int
226           (imported from ‘Prelude’ at T13050.hs:1:8-17
227            (and originally defined in ‘GHC.Num’))
228         div :: forall a. Integral a => a -> a -> a
229           with div @Int
230           (imported from ‘Prelude’ at T13050.hs:1:8-17
231            (and originally defined in ‘GHC.Real’))
232         mod :: forall a. Integral a => a -> a -> a
233           with mod @Int
234           (imported from ‘Prelude’ at T13050.hs:1:8-17
235            (and originally defined in ‘GHC.Real’))
236         quot :: forall a. Integral a => a -> a -> a
237           with quot @Int
238           (imported from ‘Prelude’ at T13050.hs:1:8-17
239            (and originally defined in ‘GHC.Real’))
240         rem :: forall a. Integral a => a -> a -> a
241           with rem @Int
242           (imported from ‘Prelude’ at T13050.hs:1:8-17
243            (and originally defined in ‘GHC.Real’))
244         max :: forall a. Ord a => a -> a -> a
245           with max @Int
246           (imported from ‘Prelude’ at T13050.hs:1:8-17
247            (and originally defined in ‘GHC.Classes’))
248         min :: forall a. Ord a => a -> a -> a
249           with min @Int
250           (imported from ‘Prelude’ at T13050.hs:1:8-17
251            (and originally defined in ‘GHC.Classes’))
252         return :: forall (m :: * -> *) a. Monad m => a -> m a
253           with return @((->) Int) @Int
254           (imported from ‘Prelude’ at T13050.hs:1:8-17
255            (and originally defined in ‘GHC.Base’))
256         pure :: forall (f :: * -> *) a. Applicative f => a -> f a
257           with pure @((->) Int) @Int
258           (imported from ‘Prelude’ at T13050.hs:1:8-17
259            (and originally defined in ‘GHC.Base’))