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

Last change on this file since f5dbc8d was 44856ed, checked in by Michael Brooks <mlbrooks@…>, 5 years 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.