1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3-- in.cue --
4{
5 a: 5 * [int]
6 a: [1, 2, ...]
7 e: [...int]
8 e: [1, 2, ...]
9 f: [1, 2, ...]
10}
11-- out/def --
12a: [1, 2, int, int, int]
13b: <=5*[int] & [1, 2, ...]
14c: (>=3 & <=5)*[int] & [1, 2, ...]
15d: >=2*[int] & [1, 2, ...]
16e: [1, 2, ...int]
17f: [1, 2, ...]
18-- out/compile --
19--- in.cue
20{
21 {
22 a: (5 * [
23 int,
24 ])
25 a: [
26 1,
27 2,
28 ...,
29 ]
30 e: [
31 ...int,
32 ]
33 e: [
34 1,
35 2,
36 ...,
37 ]
38 f: [
39 1,
40 2,
41 ...,
42 ]
43 }
44}
45-- out/eval/stats --
46Leaks: 3
47Freed: 13
48Reused: 10
49Allocs: 6
50Retain: 7
51
52Unifications: 16
53Conjuncts: 37
54Disjuncts: 20
55-- out/eval --
56(struct){
57 a: (#list){
58 0: (int){ 1 }
59 1: (int){ 2 }
60 2: (int){ int }
61 3: (int){ int }
62 4: (int){ int }
63 }
64 e: (list){
65 0: (int){ 1 }
66 1: (int){ 2 }
67 }
68 f: (list){
69 0: (int){ 1 }
70 1: (int){ 2 }
71 }
72}
View as plain text