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