source: src/Tests/ResolvExpr/Expected/InferParam.tst@ f7d59bf

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 f7d59bf was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

licencing: seventh groups of files
  • 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.