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