1#name: list arithmetic
2#evalPartial
3-- in.cue --
4l0: 3 * [1, 2, 3]
5l1: 0 * [1, 2, 3]
6l2: 10 * []
7l6: 3 * [...int]
8l7: 3 * [1, ...int]
9l8: 3 * [1, 2, ...int]
10
11s0: [] + []
12s1: [1] + []
13s2: [] + [2]
14s3: [1] + [2]
15s4: [1, 2] + []
16s5: [] + [1, 2]
17s6: [1] + [1, 2]
18s7: [1, 2] + [1]
19s8: [1, 2] + [1, 2]
20s9: [] + [...]
21s10: [1] + [...]
22s11: [] + [2, ...]
23s12: [1] + [2, ...]
24s13: [1, 2] + [...]
25s14: [] + [1, 2, ...]
26s15: [1] + [1, 2, ...]
27s16: [1, 2] + [1, ...]
28s17: [1, 2] + [1, 2, ...]
29
30s18: [...] + []
31s19: [1, ...] + []
32s20: [...] + [2]
33s21: [1, ...] + [2]
34s22: [1, 2, ...] + []
35s23: [...] + [1, 2]
36s24: [1, ...] + [1, 2]
37s25: [1, 2, ...] + [1]
38s26: [1, 2, ...] + [1, 2]
39s27: [...] + [...]
40s28: [1, ...] + [...]
41s29: [...] + [2, ...]
42s30: [1, ...] + [2, ...]
43s31: [1, 2, ...] + [...]
44s32: [...] + [1, 2, ...]
45s33: [1, ...] + [1, 2, ...]
46s34: [1, 2, ...] + [1, ...]
47s35: [1, 2, ...] + [1, 2, ...]
48-- out/def --
49l0: [1, 2, 3, 1, 2, 3, 1, 2, 3]
50l1: []
51l2: []
52l3: <=2 * []
53l4: <=2 * [int]
54l5: <=2 * (int * [int])
55l6: []
56l7: [1, 1, 1]
57l8: [1, 2, 1, 2, 1, 2]
58s0: []
59s1: [1]
60s2: [2]
61s3: [1, 2]
62s4: [1, 2]
63s5: [1, 2]
64s6: [1, 1, 2]
65s7: [1, 2, 1]
66s8: [1, 2, 1, 2]
67s9: []
68s10: [1]
69s11: [2]
70s12: [1, 2]
71s13: [1, 2]
72s14: [1, 2]
73s15: [1, 1, 2]
74s16: [1, 2, 1]
75s17: [1, 2, 1, 2]
76s18: []
77s19: [1]
78s20: [2]
79s21: [1, 2]
80s22: [1, 2]
81s23: [1, 2]
82s24: [1, 1, 2]
83s25: [1, 2, 1]
84s26: [1, 2, 1, 2]
85s27: []
86s28: [1]
87s29: [2]
88s30: [1, 2]
89s31: [1, 2]
90s32: [1, 2]
91s33: [1, 1, 2]
92s34: [1, 2, 1]
93s35: [1, 2, 1, 2]
94-- out/legacy-debug --
95<0>{l0: [1,2,3,1,2,3,1,2,3], l1: [], l2: [], l3: (<=2 * []), l4: (<=2 * [int]), l5: (<=2 * (int * [int])), l6: [], l7: [1,1,1], l8: [1,2,1,2,1,2], s0: [], s1: [1], s2: [2], s3: [1,2], s4: [1,2], s5: [1,2], s6: [1,1,2], s7: [1,2,1], s8: [1,2,1,2], s9: [], s10: [1], s11: [2], s12: [1,2], s13: [1,2], s14: [1,2], s15: [1,1,2], s16: [1,2,1], s17: [1,2,1,2], s18: [], s19: [1], s20: [2], s21: [1,2], s22: [1,2], s23: [1,2], s24: [1,1,2], s25: [1,2,1], s26: [1,2,1,2], s27: [], s28: [1], s29: [2], s30: [1,2], s31: [1,2], s32: [1,2], s33: [1,1,2], s34: [1,2,1], s35: [1,2,1,2]}
96-- out/compile --
97--- in.cue
98{
99 l0: (3 * [
100 1,
101 2,
102 3,
103 ])
104 l1: (0 * [
105 1,
106 2,
107 3,
108 ])
109 l2: (10 * [])
110 l6: (3 * [
111 ...int,
112 ])
113 l7: (3 * [
114 1,
115 ...int,
116 ])
117 l8: (3 * [
118 1,
119 2,
120 ...int,
121 ])
122 s0: ([] + [])
123 s1: ([
124 1,
125 ] + [])
126 s2: ([] + [
127 2,
128 ])
129 s3: ([
130 1,
131 ] + [
132 2,
133 ])
134 s4: ([
135 1,
136 2,
137 ] + [])
138 s5: ([] + [
139 1,
140 2,
141 ])
142 s6: ([
143 1,
144 ] + [
145 1,
146 2,
147 ])
148 s7: ([
149 1,
150 2,
151 ] + [
152 1,
153 ])
154 s8: ([
155 1,
156 2,
157 ] + [
158 1,
159 2,
160 ])
161 s9: ([] + [
162 ...,
163 ])
164 s10: ([
165 1,
166 ] + [
167 ...,
168 ])
169 s11: ([] + [
170 2,
171 ...,
172 ])
173 s12: ([
174 1,
175 ] + [
176 2,
177 ...,
178 ])
179 s13: ([
180 1,
181 2,
182 ] + [
183 ...,
184 ])
185 s14: ([] + [
186 1,
187 2,
188 ...,
189 ])
190 s15: ([
191 1,
192 ] + [
193 1,
194 2,
195 ...,
196 ])
197 s16: ([
198 1,
199 2,
200 ] + [
201 1,
202 ...,
203 ])
204 s17: ([
205 1,
206 2,
207 ] + [
208 1,
209 2,
210 ...,
211 ])
212 s18: ([
213 ...,
214 ] + [])
215 s19: ([
216 1,
217 ...,
218 ] + [])
219 s20: ([
220 ...,
221 ] + [
222 2,
223 ])
224 s21: ([
225 1,
226 ...,
227 ] + [
228 2,
229 ])
230 s22: ([
231 1,
232 2,
233 ...,
234 ] + [])
235 s23: ([
236 ...,
237 ] + [
238 1,
239 2,
240 ])
241 s24: ([
242 1,
243 ...,
244 ] + [
245 1,
246 2,
247 ])
248 s25: ([
249 1,
250 2,
251 ...,
252 ] + [
253 1,
254 ])
255 s26: ([
256 1,
257 2,
258 ...,
259 ] + [
260 1,
261 2,
262 ])
263 s27: ([
264 ...,
265 ] + [
266 ...,
267 ])
268 s28: ([
269 1,
270 ...,
271 ] + [
272 ...,
273 ])
274 s29: ([
275 ...,
276 ] + [
277 2,
278 ...,
279 ])
280 s30: ([
281 1,
282 ...,
283 ] + [
284 2,
285 ...,
286 ])
287 s31: ([
288 1,
289 2,
290 ...,
291 ] + [
292 ...,
293 ])
294 s32: ([
295 ...,
296 ] + [
297 1,
298 2,
299 ...,
300 ])
301 s33: ([
302 1,
303 ...,
304 ] + [
305 1,
306 2,
307 ...,
308 ])
309 s34: ([
310 1,
311 2,
312 ...,
313 ] + [
314 1,
315 ...,
316 ])
317 s35: ([
318 1,
319 2,
320 ...,
321 ] + [
322 1,
323 2,
324 ...,
325 ])
326}
327-- out/eval/stats --
328Leaks: 198
329Freed: 133
330Reused: 130
331Allocs: 201
332Retain: 210
333
334Unifications: 331
335Conjuncts: 475
336Disjuncts: 253
337-- out/eval --
338(struct){
339 l0: (#list){
340 0: (int){ 1 }
341 1: (int){ 2 }
342 2: (int){ 3 }
343 3: (int){ 1 }
344 4: (int){ 2 }
345 5: (int){ 3 }
346 6: (int){ 1 }
347 7: (int){ 2 }
348 8: (int){ 3 }
349 }
350 l1: (#list){
351 }
352 l2: (#list){
353 }
354 l6: (#list){
355 }
356 l7: (#list){
357 0: (int){ 1 }
358 1: (int){ 1 }
359 2: (int){ 1 }
360 }
361 l8: (#list){
362 0: (int){ 1 }
363 1: (int){ 2 }
364 2: (int){ 1 }
365 3: (int){ 2 }
366 4: (int){ 1 }
367 5: (int){ 2 }
368 }
369 s0: (#list){
370 }
371 s1: (#list){
372 0: (int){ 1 }
373 }
374 s2: (#list){
375 0: (int){ 2 }
376 }
377 s3: (#list){
378 0: (int){ 1 }
379 1: (int){ 2 }
380 }
381 s4: (#list){
382 0: (int){ 1 }
383 1: (int){ 2 }
384 }
385 s5: (#list){
386 0: (int){ 1 }
387 1: (int){ 2 }
388 }
389 s6: (#list){
390 0: (int){ 1 }
391 1: (int){ 1 }
392 2: (int){ 2 }
393 }
394 s7: (#list){
395 0: (int){ 1 }
396 1: (int){ 2 }
397 2: (int){ 1 }
398 }
399 s8: (#list){
400 0: (int){ 1 }
401 1: (int){ 2 }
402 2: (int){ 1 }
403 3: (int){ 2 }
404 }
405 s9: (#list){
406 }
407 s10: (#list){
408 0: (int){ 1 }
409 }
410 s11: (#list){
411 0: (int){ 2 }
412 }
413 s12: (#list){
414 0: (int){ 1 }
415 1: (int){ 2 }
416 }
417 s13: (#list){
418 0: (int){ 1 }
419 1: (int){ 2 }
420 }
421 s14: (#list){
422 0: (int){ 1 }
423 1: (int){ 2 }
424 }
425 s15: (#list){
426 0: (int){ 1 }
427 1: (int){ 1 }
428 2: (int){ 2 }
429 }
430 s16: (#list){
431 0: (int){ 1 }
432 1: (int){ 2 }
433 2: (int){ 1 }
434 }
435 s17: (#list){
436 0: (int){ 1 }
437 1: (int){ 2 }
438 2: (int){ 1 }
439 3: (int){ 2 }
440 }
441 s18: (#list){
442 }
443 s19: (#list){
444 0: (int){ 1 }
445 }
446 s20: (#list){
447 0: (int){ 2 }
448 }
449 s21: (#list){
450 0: (int){ 1 }
451 1: (int){ 2 }
452 }
453 s22: (#list){
454 0: (int){ 1 }
455 1: (int){ 2 }
456 }
457 s23: (#list){
458 0: (int){ 1 }
459 1: (int){ 2 }
460 }
461 s24: (#list){
462 0: (int){ 1 }
463 1: (int){ 1 }
464 2: (int){ 2 }
465 }
466 s25: (#list){
467 0: (int){ 1 }
468 1: (int){ 2 }
469 2: (int){ 1 }
470 }
471 s26: (#list){
472 0: (int){ 1 }
473 1: (int){ 2 }
474 2: (int){ 1 }
475 3: (int){ 2 }
476 }
477 s27: (#list){
478 }
479 s28: (#list){
480 0: (int){ 1 }
481 }
482 s29: (#list){
483 0: (int){ 2 }
484 }
485 s30: (#list){
486 0: (int){ 1 }
487 1: (int){ 2 }
488 }
489 s31: (#list){
490 0: (int){ 1 }
491 1: (int){ 2 }
492 }
493 s32: (#list){
494 0: (int){ 1 }
495 1: (int){ 2 }
496 }
497 s33: (#list){
498 0: (int){ 1 }
499 1: (int){ 1 }
500 2: (int){ 2 }
501 }
502 s34: (#list){
503 0: (int){ 1 }
504 1: (int){ 2 }
505 2: (int){ 1 }
506 }
507 s35: (#list){
508 0: (int){ 1 }
509 1: (int){ 2 }
510 2: (int){ 1 }
511 3: (int){ 2 }
512 }
513}
View as plain text