source: tests/collections/.expect/vector-err-retn-perm-it-byval.txt @ 44856ed

enumforall-pointer-decayjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 44856ed was 44856ed, checked in by Michael Brooks <mlbrooks@…>, 11 months ago

Baseline "new" vector, with iterators.

Implementation has not had thorough correctness testing, e.g. checking wraparound
behaviours, and at least one such case is commented as unimplemented.

Implementation has not been optimized at the instruction path level, though a basic
iteration performance check has it within 5% of c++ std::vector.

  • Property mode set to 100644
File size: 9.4 KB
Line 
1collections/vector-demo.cfa:105:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
2  Application of
3    Deleted Expression
4      Variable Expression: ?{}: static inline forall
5        instance of type T (not function type)
6        with assertions
7        Variable Expression: ?=?: pointer to function
8        ... with parameters
9          reference to instance of type T (not function type)
10          instance of type T (not function type)
11        ... returning
12          instance of type T (not function type)
13
14        ... with resolved type:
15          pointer to function
16          ... with parameters
17            reference to instance of type T (not function type)
18            instance of type T (not function type)
19          ... returning
20            instance of type T (not function type)
21
22        Variable Expression: ?{}: pointer to function
23        ... with parameters
24          reference to instance of type T (not function type)
25        ... returning nothing
26
27        ... with resolved type:
28          pointer to function
29          ... with parameters
30            reference to instance of type T (not function type)
31          ... returning nothing
32
33        Variable Expression: ?{}: pointer to function
34        ... with parameters
35          reference to instance of type T (not function type)
36          instance of type T (not function type)
37        ... returning nothing
38
39        ... with resolved type:
40          pointer to function
41          ... with parameters
42            reference to instance of type T (not function type)
43            instance of type T (not function type)
44          ... returning nothing
45
46        Variable Expression: ^?{}: pointer to function
47        ... with parameters
48          reference to instance of type T (not function type)
49        ... returning nothing
50
51        ... with resolved type:
52          pointer to function
53          ... with parameters
54            reference to instance of type T (not function type)
55          ... returning nothing
56
57        function
58      ... with parameters
59        reference to instance of struct vector_permit with body
60        ... with parameters
61          instance of type T (not function type)
62
63        reference to instance of struct vector_permit with body
64        ... with parameters
65          instance of type T (not function type)
66
67      ... returning nothing
68
69      ... with resolved type:
70        forall
71          instance of type T (not function type)
72          with assertions
73          Variable Expression: ?=?: pointer to function
74          ... with parameters
75            reference to instance of type T (not function type)
76            instance of type T (not function type)
77          ... returning
78            instance of type T (not function type)
79
80          ... with resolved type:
81            pointer to function
82            ... with parameters
83              reference to instance of type T (not function type)
84              instance of type T (not function type)
85            ... returning
86              instance of type T (not function type)
87
88          Variable Expression: ?{}: pointer to function
89          ... with parameters
90            reference to instance of type T (not function type)
91          ... returning nothing
92
93          ... with resolved type:
94            pointer to function
95            ... with parameters
96              reference to instance of type T (not function type)
97            ... returning nothing
98
99          Variable Expression: ?{}: pointer to function
100          ... with parameters
101            reference to instance of type T (not function type)
102            instance of type T (not function type)
103          ... returning nothing
104
105          ... with resolved type:
106            pointer to function
107            ... with parameters
108              reference to instance of type T (not function type)
109              instance of type T (not function type)
110            ... returning nothing
111
112          Variable Expression: ^?{}: pointer to function
113          ... with parameters
114            reference to instance of type T (not function type)
115          ... returning nothing
116
117          ... with resolved type:
118            pointer to function
119            ... with parameters
120              reference to instance of type T (not function type)
121            ... returning nothing
122
123          function
124        ... with parameters
125          reference to instance of struct vector_permit with body
126          ... with parameters
127            instance of type T (not function type)
128
129          reference to instance of struct vector_permit with body
130          ... with parameters
131            instance of type T (not function type)
132
133        ... returning nothing
134
135      ... deleted by: ?{}: static inline forall
136        instance of type T (not function type)
137        with assertions
138        Variable Expression: ?=?: pointer to function
139        ... with parameters
140          reference to instance of type T (not function type)
141          instance of type T (not function type)
142        ... returning
143          instance of type T (not function type)
144
145        ... with resolved type:
146          pointer to function
147          ... with parameters
148            reference to instance of type T (not function type)
149            instance of type T (not function type)
150          ... returning
151            instance of type T (not function type)
152
153        Variable Expression: ?{}: pointer to function
154        ... with parameters
155          reference to instance of type T (not function type)
156        ... returning nothing
157
158        ... with resolved type:
159          pointer to function
160          ... with parameters
161            reference to instance of type T (not function type)
162          ... returning nothing
163
164        Variable Expression: ?{}: pointer to function
165        ... with parameters
166          reference to instance of type T (not function type)
167          instance of type T (not function type)
168        ... returning nothing
169
170        ... with resolved type:
171          pointer to function
172          ... with parameters
173            reference to instance of type T (not function type)
174            instance of type T (not function type)
175          ... returning nothing
176
177        Variable Expression: ^?{}: pointer to function
178        ... with parameters
179          reference to instance of type T (not function type)
180        ... returning nothing
181
182        ... with resolved type:
183          pointer to function
184          ... with parameters
185            reference to instance of type T (not function type)
186          ... returning nothing
187
188        function
189      ... with parameters
190        reference to instance of struct vector_permit with body
191        ... with parameters
192          instance of type T (not function type)
193
194        reference to instance of struct vector_permit with body
195        ... with parameters
196          instance of type T (not function type)
197
198      ... returning nothing
199
200    ... to arguments
201    Generated Cast of:
202      Variable Expression: ofG: instance of struct vector_permit with body
203      ... with parameters
204        float
205
206      ... with resolved type:
207        instance of struct vector_permit with body
208        ... with parameters
209          float
210
211    ... to:
212      reference to instance of struct vector_permit with body
213      ... with parameters
214        float
215
216    ... with resolved type:
217      reference to instance of struct vector_permit with body
218      ... with parameters
219        float
220
221    Generated Cast of:
222      Application of
223        Variable Expression: g: function
224        ... with parameters
225          reference to instance of struct vector with body
226          ... with parameters
227            float
228
229        ... returning
230          instance of struct vector_permit with body
231          ... with parameters
232            float
233
234
235        ... with resolved type:
236          pointer to function
237          ... with parameters
238            reference to instance of struct vector with body
239            ... with parameters
240              float
241
242          ... returning
243            instance of struct vector_permit with body
244            ... with parameters
245              float
246
247
248        ... to arguments
249        Generated Cast of:
250          Variable Expression: v: instance of struct vector with body
251          ... with parameters
252            float
253
254          ... with resolved type:
255            instance of struct vector with body
256            ... with parameters
257              float
258
259        ... to:
260          reference to instance of struct vector with body
261          ... with parameters
262            float
263
264        ... with resolved type:
265          reference to instance of struct vector with body
266          ... with parameters
267            float
268
269
270      ... with resolved type:
271        instance of struct vector_permit with body
272        ... with parameters
273          float
274
275    ... to:
276      reference to instance of struct vector_permit with body
277      ... with parameters
278        float
279
280    ... with resolved type:
281      reference to instance of struct vector_permit with body
282      ... with parameters
283        float
284
285  with inferred parameters 0:
286    ?=?: function
287    ... with parameters
288      reference to float
289      float
290    ... returning
291      float
292
293    ?{}: function
294    ... with parameters
295      reference to float
296    ... returning nothing
297
298    ?{}: function
299    ... with parameters
300      reference to float
301      float
302    ... returning nothing
303
304    ^?{}: function
305    ... with parameters
306      reference to float
307    ... returning nothing
308
309
310  ... with resolved type:
311    void
312... to: nothing
313... with resolved type:
314  void
Note: See TracBrowser for help on using the repository browser.