source: src/Tests/ResolvExpr/Expected/Forall.tst@ 2b6c1e0

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since 2b6c1e0 was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

licencing: seventh groups of files
  • Property mode set to 100644
File size: 12.9 KB
Line 
1?=?: a function
2 with parameters
3 pointer to signed int
4 signed int
5 returning
6 signed int
7
8?=?: a function
9 with parameters
10 pointer to float
11 float
12 returning
13 float
14
15?=?: a function
16 with parameters
17 pointer to pointer to signed int
18 pointer to signed int
19 returning
20 pointer to signed int
21
22?=?: a function
23 with parameters
24 pointer to pointer to float
25 pointer to float
26 returning
27 pointer to float
28
29?=?: a function
30 with parameters
31 pointer to char
32 char
33 returning
34 char
35
36?=?: a function
37 with parameters
38 pointer to pointer to function
39 returning
40 nothing
41
42 pointer to function
43 returning
44 nothing
45
46 returning
47 pointer to function
48 returning
49 nothing
50
51
52g1: a function
53 accepting unspecified arguments
54 returning
55 nothing
56 with body
57 Declaration of f: a forall
58 T: a type
59 with assertions
60 ?=?: a pointer to function
61 with parameters
62 pointer to instance of type T
63 instance of type T
64 returning
65 instance of type T
66
67
68 function
69 with parameters
70 instance of type T
71 returning
72 instance of type T
73
74 Declaration of f: a function
75 with parameters
76 signed int
77 returning
78 nothing
79
80 Declaration of h: a function
81 with parameters
82 p: a pointer to function
83 returning
84 nothing
85
86 returning
87 nothing
88
89 Declaration of x: a signed int
90 Declaration of y: a pointer to function
91 returning
92 nothing
93
94 Declaration of z: a char
95 Declaration of w: a float
96
97 Expression Statement:
98 Application of
99 Variable Expression: f: a function
100 with parameters
101 signed int
102 returning
103 nothing
104
105 to arguments
106 Variable Expression: x: a signed int
107
108 with environment:
109 Types:
110 Non-types:
111
112
113 Expression Statement:
114 Application of
115 Variable Expression: f: a forall
116 T: a type
117 with assertions
118 ?=?: a pointer to function
119 with parameters
120 pointer to instance of type T
121 instance of type T
122 returning
123 instance of type T
124
125
126 function
127 with parameters
128 instance of type T
129 returning
130 instance of type T
131
132 to arguments
133 Variable Expression: y: a pointer to function
134 returning
135 nothing
136
137
138 with inferred parameters:
139 ?=?: a function
140 with parameters
141 pointer to pointer to function
142 returning
143 nothing
144
145 pointer to function
146 returning
147 nothing
148
149 returning
150 pointer to function
151 returning
152 nothing
153
154
155 with environment:
156 Types:
157 _0_T -> pointer to function
158 returning
159 nothing
160
161 Non-types:
162
163
164 Expression Statement:
165 Application of
166 Variable Expression: f: a function
167 with parameters
168 signed int
169 returning
170 nothing
171
172 to arguments
173 Cast of:
174 Variable Expression: z: a char
175
176 to:
177 signed int
178
179 with environment:
180 Types:
181 Non-types:
182
183
184 Expression Statement:
185 Application of
186 Variable Expression: f: a forall
187 T: a type
188 with assertions
189 ?=?: a pointer to function
190 with parameters
191 pointer to instance of type T
192 instance of type T
193 returning
194 instance of type T
195
196
197 function
198 with parameters
199 instance of type T
200 returning
201 instance of type T
202
203 to arguments
204 Variable Expression: w: a float
205
206 with inferred parameters:
207 ?=?: a function
208 with parameters
209 pointer to float
210 float
211 returning
212 float
213
214 with environment:
215 Types:
216 _0_T -> float
217 Non-types:
218
219
220 Expression Statement:
221 Application of
222 Variable Expression: h: a function
223 with parameters
224 p: a pointer to function
225 returning
226 nothing
227
228 returning
229 nothing
230
231 to arguments
232 Application of
233 Variable Expression: f: a forall
234 T: a type
235 with assertions
236 ?=?: a pointer to function
237 with parameters
238 pointer to instance of type T
239 instance of type T
240 returning
241 instance of type T
242
243
244 function
245 with parameters
246 instance of type T
247 returning
248 instance of type T
249
250 to arguments
251 Variable Expression: y: a pointer to function
252 returning
253 nothing
254
255
256 with inferred parameters:
257 ?=?: a function
258 with parameters
259 pointer to pointer to function
260 returning
261 nothing
262
263 pointer to function
264 returning
265 nothing
266
267 returning
268 pointer to function
269 returning
270 nothing
271
272
273
274 with environment:
275 Types:
276 _0_T -> pointer to function
277 returning
278 nothing
279
280 Non-types:
281
282
283g2: a function
284 accepting unspecified arguments
285 returning
286 nothing
287 with body
288 Declaration of f: a forall
289 T: a type
290 with assertions
291 ?=?: a pointer to function
292 with parameters
293 pointer to instance of type T
294 instance of type T
295 returning
296 instance of type T
297
298
299 function
300 with parameters
301 instance of type T
302 instance of type T
303 returning
304 nothing
305
306 Declaration of f: a forall
307 T: a type
308 with assertions
309 ?=?: a pointer to function
310 with parameters
311 pointer to instance of type T
312 instance of type T
313 returning
314 instance of type T
315
316
317 U: a type
318 with assertions
319 ?=?: a pointer to function
320 with parameters
321 pointer to instance of type U
322 instance of type U
323 returning
324 instance of type U
325
326
327 function
328 with parameters
329 instance of type T
330 instance of type U
331 returning
332 nothing
333
334 Declaration of x: a signed int
335 Declaration of y: a float
336 Declaration of z: a pointer to signed int
337 Declaration of w: a pointer to float
338
339 Expression Statement:
340 Application of
341 Variable Expression: f: a forall
342 T: a type
343 with assertions
344 ?=?: a pointer to function
345 with parameters
346 pointer to instance of type T
347 instance of type T
348 returning
349 instance of type T
350
351
352 function
353 with parameters
354 instance of type T
355 instance of type T
356 returning
357 nothing
358
359 to arguments
360 Cast of:
361 Variable Expression: x: a signed int
362
363 to:
364 float
365
366 Variable Expression: y: a float
367
368 with inferred parameters:
369 ?=?: a function
370 with parameters
371 pointer to float
372 float
373 returning
374 float
375
376 with environment:
377 Types:
378 _0_T -> float
379 Non-types:
380
381
382 Expression Statement:
383 Application of
384 Variable Expression: f: a forall
385 T: a type
386 with assertions
387 ?=?: a pointer to function
388 with parameters
389 pointer to instance of type T
390 instance of type T
391 returning
392 instance of type T
393
394
395 U: a type
396 with assertions
397 ?=?: a pointer to function
398 with parameters
399 pointer to instance of type U
400 instance of type U
401 returning
402 instance of type U
403
404
405 function
406 with parameters
407 instance of type T
408 instance of type U
409 returning
410 nothing
411
412 to arguments
413 Variable Expression: z: a pointer to signed int
414
415 Variable Expression: w: a pointer to float
416
417 with inferred parameters:
418 ?=?: a function
419 with parameters
420 pointer to pointer to signed int
421 pointer to signed int
422 returning
423 pointer to signed int
424
425 ?=?: a function
426 with parameters
427 pointer to pointer to float
428 pointer to float
429 returning
430 pointer to float
431
432 with environment:
433 Types:
434 _1_T -> pointer to signed int
435 _2_U -> pointer to float
436 Non-types:
437
438
439 Expression Statement:
440 Application of
441 Variable Expression: f: a forall
442 T: a type
443 with assertions
444 ?=?: a pointer to function
445 with parameters
446 pointer to instance of type T
447 instance of type T
448 returning
449 instance of type T
450
451
452 U: a type
453 with assertions
454 ?=?: a pointer to function
455 with parameters
456 pointer to instance of type U
457 instance of type U
458 returning
459 instance of type U
460
461
462 function
463 with parameters
464 instance of type T
465 instance of type U
466 returning
467 nothing
468
469 to arguments
470 Variable Expression: x: a signed int
471
472 Variable Expression: z: a pointer to signed int
473
474 with inferred parameters:
475 ?=?: a function
476 with parameters
477 pointer to signed int
478 signed int
479 returning
480 signed int
481
482 ?=?: a function
483 with parameters
484 pointer to pointer to signed int
485 pointer to signed int
486 returning
487 pointer to signed int
488
489 with environment:
490 Types:
491 _1_T -> signed int
492 _2_U -> pointer to signed int
493 Non-types:
494
495
Note: See TracBrowser for help on using the repository browser.