source: src/Tests/ResolvExpr/Expected/Forall.tst @ cd623a4

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since cd623a4 was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 9 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.