source: src/Tests/ResolvExpr/Expected/Rank2.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.5 KB
Line 
1?=?: a function
2 with parameters
3 pointer to signed int
4 signed int
5 returning
6 signed int
7
8?=?: a forall
9 DT: a incomplete type
10 function
11 with parameters
12 pointer to pointer to instance of type DT
13 pointer to instance of type DT
14 returning
15 pointer to instance of type DT
16
17a: a function
18 accepting unspecified arguments
19 returning
20 nothing
21 with body
22 Declaration of f: 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 function
34 with parameters
35 instance of type T
36 returning
37 nothing
38
39 Declaration of g: a function
40 with parameters
41 p: a pointer to forall
42 U: a type
43 with assertions
44 ?=?: a pointer to function
45 with parameters
46 pointer to instance of type U
47 instance of type U
48 returning
49 instance of type U
50
51
52 function
53 with parameters
54 instance of type U
55 returning
56 nothing
57
58 returning
59 nothing
60
61
62 Expression Statement:
63 Application of
64 Variable Expression: g: a function
65 with parameters
66 p: a pointer to forall
67 U: a type
68 with assertions
69 ?=?: a pointer to function
70 with parameters
71 pointer to instance of type U
72 instance of type U
73 returning
74 instance of type U
75
76
77 function
78 with parameters
79 instance of type U
80 returning
81 nothing
82
83 returning
84 nothing
85
86 to arguments
87 Variable Expression: f: a forall
88 T: a type
89 with assertions
90 ?=?: a pointer to function
91 with parameters
92 pointer to instance of type T
93 instance of type T
94 returning
95 instance of type T
96
97
98 function
99 with parameters
100 instance of type T
101 returning
102 nothing
103
104
105 with inferred parameters:
106 ?=?: a pointer to function
107 with parameters
108 pointer to instance of type U
109 instance of type U
110 returning
111 instance of type U
112
113 with environment:
114 Types:
115 _1_T -> instance of type _0_U
116 Non-types:
117
118
119g: a function
120 accepting unspecified arguments
121 returning
122 nothing
123 with body
124 Declaration of h: a function
125 with parameters
126 null: a pointer to signed int
127 returning
128 nothing
129
130 Declaration of id: a forall
131 T: a type
132 with assertions
133 ?=?: a pointer to function
134 with parameters
135 pointer to instance of type T
136 instance of type T
137 returning
138 instance of type T
139
140
141 function
142 with parameters
143 instance of type T
144 returning
145 instance of type T
146
147 Declaration of 0: a forall
148 T: a incomplete type
149 pointer to instance of type T
150 Declaration of 0: a signed int
151
152 Expression Statement:
153 Application of
154 Variable Expression: h: a function
155 with parameters
156 null: a pointer to signed int
157 returning
158 nothing
159
160 to arguments
161 Application of
162 Variable Expression: id: a forall
163 T: a type
164 with assertions
165 ?=?: a pointer to function
166 with parameters
167 pointer to instance of type T
168 instance of type T
169 returning
170 instance of type T
171
172
173 function
174 with parameters
175 instance of type T
176 returning
177 instance of type T
178
179 to arguments
180 Application of
181 Variable Expression: id: a forall
182 T: a type
183 with assertions
184 ?=?: a pointer to function
185 with parameters
186 pointer to instance of type T
187 instance of type T
188 returning
189 instance of type T
190
191
192 function
193 with parameters
194 instance of type T
195 returning
196 instance of type T
197
198 to arguments
199 Application of
200 Variable Expression: id: a forall
201 T: a type
202 with assertions
203 ?=?: a pointer to function
204 with parameters
205 pointer to instance of type T
206 instance of type T
207 returning
208 instance of type T
209
210
211 function
212 with parameters
213 instance of type T
214 returning
215 instance of type T
216
217 to arguments
218 Variable Expression: 0: a forall
219 T: a incomplete type
220 pointer to instance of type T
221
222 with inferred parameters:
223 ?=?: a forall
224 DT: a incomplete type
225 function
226 with parameters
227 pointer to pointer to instance of type DT
228 pointer to instance of type DT
229 returning
230 pointer to instance of type DT
231
232
233 with inferred parameters:
234 ?=?: a forall
235 DT: a incomplete type
236 function
237 with parameters
238 pointer to pointer to instance of type DT
239 pointer to instance of type DT
240 returning
241 pointer to instance of type DT
242
243
244 with inferred parameters:
245 ?=?: a forall
246 DT: a incomplete type
247 function
248 with parameters
249 pointer to pointer to instance of type DT
250 pointer to instance of type DT
251 returning
252 pointer to instance of type DT
253
254
255 with environment:
256 Types:
257 _0_T -> forall
258 _3_T: a incomplete type
259 pointer to instance of type _3_T
260 _1_T -> forall
261 _3_T: a incomplete type
262 pointer to instance of type _3_T
263 _2_T -> forall
264 _3_T: a incomplete type
265 pointer to instance of type _3_T
266 _3_T -> signed int
267 _5_DT -> signed int
268 _7_DT -> signed int
269 _9_DT -> signed int
270 Non-types:
271
272
Note: See TracBrowser for help on using the repository browser.