source: tests/collections/.expect/vector-err-pass-perm-it-byval.txt@ ca69a8a

ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum stuck-waitfor-destruct
Last change on this file since ca69a8a 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: 8.2 KB
RevLine 
[44856ed]1error: 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: __tmp: 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 Variable Expression: it: instance of struct vector_permit with body
223 ... with parameters
224 float
225
226 ... with resolved type:
227 instance of struct vector_permit with body
228 ... with parameters
229 float
230
231 ... to:
232 reference to instance of struct vector_permit with body
233 ... with parameters
234 float
235
236 ... with resolved type:
237 reference to instance of struct vector_permit with body
238 ... with parameters
239 float
240
241 with inferred parameters 0:
242 ?=?: function
243 ... with parameters
244 reference to float
245 float
246 ... returning
247 float
248
249 ?{}: function
250 ... with parameters
251 reference to float
252 ... returning nothing
253
254 ?{}: function
255 ... with parameters
256 reference to float
257 float
258 ... returning nothing
259
260 ^?{}: function
261 ... with parameters
262 reference to float
263 ... returning nothing
264
265
266 ... with resolved type:
267 void
268... to: nothing
269... with resolved type:
270 void
Note: See TracBrowser for help on using the repository browser.