source: tests/collections/.expect/vector-err-pass-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: 8.2 KB
Line 
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.