source: translator/Tests/ResolvExpr/Expected/InferParam.tst @ b1a6d6b

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 b1a6d6b was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit
  • Property mode set to 100644
File size: 8.0 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 double
18      double
19    returning
20      double
21
22g: a forall
23      T: a type
24        with assertions
25          ?=?: a pointer to function
26              with parameters
27                pointer to instance of type T
28                instance of type T
29              returning
30                instance of type T
31
32
33      U: a type
34        with assertions
35          ?=?: a pointer to function
36              with parameters
37                pointer to instance of type U
38                instance of type U
39              returning
40                instance of type U
41
42          f: a pointer to function
43              with parameters
44                instance of type T
45              returning
46                instance of type U
47
48
49    function
50    with parameters
51      instance of type T
52    returning
53      instance of type U
54
55f: a function
56    with parameters
57      signed int
58    returning
59      float
60
61f: a function
62    with parameters
63      signed int
64    returning
65      double
66
67i: a function
68    with parameters
69      float
70    returning
71      nothing
72
73h: a function
74      accepting unspecified arguments
75    returning
76      nothing
77    with body
78      Declaration of a: a signed int
79     
80        Expression Statement:
81          Application of
82            Variable Expression: i: a function
83                with parameters
84                  float
85                returning
86                  nothing
87
88          to arguments
89                          Application of
90                Variable Expression: g: a forall
91                      T: a type
92                        with assertions
93                          ?=?: a pointer to function
94                              with parameters
95                                pointer to instance of type T
96                                instance of type T
97                              returning
98                                instance of type T
99
100
101                      U: a type
102                        with assertions
103                          ?=?: a pointer to function
104                              with parameters
105                                pointer to instance of type U
106                                instance of type U
107                              returning
108                                instance of type U
109
110                          f: a pointer to function
111                              with parameters
112                                instance of type T
113                              returning
114                                instance of type U
115
116
117                    function
118                    with parameters
119                      instance of type T
120                    returning
121                      instance of type U
122
123              to arguments
124                                  Variable Expression: a: a signed int
125
126              with inferred parameters:
127                ?=?: a function
128                  with parameters
129                    pointer to signed int
130                    signed int
131                  returning
132                    signed int
133
134                ?=?: a function
135                  with parameters
136                    pointer to float
137                    float
138                  returning
139                    float
140
141                f: a function
142                  with parameters
143                    signed int
144                  returning
145                    float
146
147
148          with environment:
149            Types:
150              _0_T -> signed int
151              _1_U -> float
152            Non-types:
153
154
155context has_f_and_j
156    with parameters
157      T: a type
158      U: a type
159
160    with members
161      f: a function
162          with parameters
163            instance of type T
164          returning
165            instance of type U
166
167      j: a function
168          with parameters
169            instance of type T
170            instance of type U
171          returning
172            instance of type U
173
174
175j: a function
176    with parameters
177      signed int
178      float
179    returning
180      float
181
182k: a forall
183      T: a type
184        with assertions
185          ?=?: a pointer to function
186              with parameters
187                pointer to instance of type T
188                instance of type T
189              returning
190                instance of type T
191
192
193      U: a type
194        with assertions
195          ?=?: a pointer to function
196              with parameters
197                pointer to instance of type U
198                instance of type U
199              returning
200                instance of type U
201
202          f: a pointer to function
203              with parameters
204                instance of type T
205              returning
206                instance of type U
207
208          j: a pointer to function
209              with parameters
210                instance of type T
211                instance of type U
212              returning
213                instance of type U
214
215
216    function
217    with parameters
218      instance of type T
219    returning
220      instance of type U
221
222l: a function
223      accepting unspecified arguments
224    returning
225      nothing
226    with body
227      Declaration of b: a signed int
228     
229        Expression Statement:
230          Application of
231            Variable Expression: i: a function
232                with parameters
233                  float
234                returning
235                  nothing
236
237          to arguments
238                          Application of
239                Variable Expression: k: a forall
240                      T: a type
241                        with assertions
242                          ?=?: a pointer to function
243                              with parameters
244                                pointer to instance of type T
245                                instance of type T
246                              returning
247                                instance of type T
248
249
250                      U: a type
251                        with assertions
252                          ?=?: a pointer to function
253                              with parameters
254                                pointer to instance of type U
255                                instance of type U
256                              returning
257                                instance of type U
258
259                          f: a pointer to function
260                              with parameters
261                                instance of type T
262                              returning
263                                instance of type U
264
265                          j: a pointer to function
266                              with parameters
267                                instance of type T
268                                instance of type U
269                              returning
270                                instance of type U
271
272
273                    function
274                    with parameters
275                      instance of type T
276                    returning
277                      instance of type U
278
279              to arguments
280                                  Variable Expression: b: a signed int
281
282              with inferred parameters:
283                ?=?: a function
284                  with parameters
285                    pointer to signed int
286                    signed int
287                  returning
288                    signed int
289
290                ?=?: a function
291                  with parameters
292                    pointer to float
293                    float
294                  returning
295                    float
296
297                f: a function
298                  with parameters
299                    signed int
300                  returning
301                    float
302
303                j: a function
304                  with parameters
305                    signed int
306                    float
307                  returning
308                    float
309
310
311          with environment:
312            Types:
313              _0_T -> signed int
314              _1_U -> float
315            Non-types:
316
317
Note: See TracBrowser for help on using the repository browser.