...
1# DO NOT EDIT; generated by go run testdata/gen.go
2
3#name: disjunctions
4#evalPartial
5-- in.cue --
6o1: 1 | 2 | 3
7o2: (1 | 2 | 3) & 1
8o3: 2 & (1 | *2 | 3)
9o4: (1 | *2 | 3) & (1 | 2 | *3)
10o5: (1 | *2 | 3) & (3 | *2 | 1)
11o6: (1 | 2 | 3) & (3 | 1 | 2)
12o7: (1 | 2 | 3) & (2 | 3)
13o8: (1 | 2 | 3) & (3 | 2)
14o9: (2 | 3) & (1 | 2 | 3)
15o10: (3 | 2) & (1 | *2 | 3)
16
17m1: (1 | (*2 | 3)) & (>=2 & <=3)
18m2: (1 | (*2 | 3)) & (2 | 3)
19m3: (*1 | *(*2 | 3)) & (2 | 3)
20m4: (2 | 3) & (*2 | 3)
21m5: (*2 | 3) & (2 | 3)
22
23// (*2 | 3) & (2 | 3)
24// (2 | 3) & (*2 | 3)
25// 2&(*2 | 3) | 3&(*2 | 3)
26// (*1 | (*2 | 3)) & (2 | 3)
27// *1& (2 | 3) | (*2 | 3)&(2 | 3)
28// *2&(2 | 3) | 3&(2 | 3)
29
30// (2 | 3)&(*1 | (*2 | 3))
31// 2&(*1 | (*2 | 3)) | 3&(*1 | (*2 | 3))
32// *1&2 | (*2 | 3)&2 | *1&3 | (*2 | 3)&3
33// (*2 | 3)&2 | (*2 | 3)&3
34// *2 | 3
35
36// All errors are treated the same as per the unification model.
37i1: [1, 2][3] | "c"
38-- out/def --
39o1: 1 | 2 | 3
40o2: 1
41o3: 2
42o4: 1 | 2 | 3 | *_|_
43o5: 1 | *2 | 3
44o6: 1 | 2 | 3
45o7: 2 | 3
46o8: 2 | 3
47o9: 2 | 3
48o10: 3 | *2
49m1: *2 | 3
50m2: *2 | 3
51m3: *2 | 3
52m4: *2 | 3
53m5: *2 | 3
54
55// All errors are treated the same as per the unification model.
56i1: "c"
57-- out/legacy-debug --
58<0>{o1: (1 | 2 | 3), o2: 1, o3: 2, o4: (1 | 2 | 3 | *_|_), o5: (1 | *2 | 3), o6: (1 | 2 | 3), o7: (2 | 3), o8: (2 | 3), o9: (2 | 3), o10: (3 | *2), m1: (*2 | 3), m2: (*2 | 3), m3: (*2 | 3), m4: (*2 | 3), m5: (*2 | 3), i1: "c"}
59-- out/compile --
60--- in.cue
61{
62 o1: (1|2|3)
63 o2: ((1|2|3) & 1)
64 o3: (2 & (1|*2|3))
65 o4: ((1|*2|3) & (1|2|*3))
66 o5: ((1|*2|3) & (3|*2|1))
67 o6: ((1|2|3) & (3|1|2))
68 o7: ((1|2|3) & (2|3))
69 o8: ((1|2|3) & (3|2))
70 o9: ((2|3) & (1|2|3))
71 o10: ((3|2) & (1|*2|3))
72 m1: ((1|(*2|3)) & (>=2 & <=3))
73 m2: ((1|(*2|3)) & (2|3))
74 m3: ((*1|*(*2|3)) & (2|3))
75 m4: ((2|3) & (*2|3))
76 m5: ((*2|3) & (2|3))
77 i1: ([
78 1,
79 2,
80 ][3]|"c")
81}
82-- out/eval/stats --
83Leaks: 1
84Freed: 134
85Reused: 126
86Allocs: 9
87Retain: 1
88
89Unifications: 18
90Conjuncts: 150
91Disjuncts: 135
92-- out/eval --
93(struct){
94 o1: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
95 o2: (int){ 1 }
96 o3: (int){ 2 }
97 o4: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
98 o5: (int){ |(*(int){ 2 }, (int){ 1 }, (int){ 3 }) }
99 o6: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
100 o7: (int){ |((int){ 2 }, (int){ 3 }) }
101 o8: (int){ |((int){ 2 }, (int){ 3 }) }
102 o9: (int){ |((int){ 2 }, (int){ 3 }) }
103 o10: (int){ |(*(int){ 2 }, (int){ 3 }) }
104 m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
105 m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
106 m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
107 m4: (int){ |(*(int){ 2 }, (int){ 3 }) }
108 m5: (int){ |(*(int){ 2 }, (int){ 3 }) }
109 i1: (string){ "c" }
110}
View as plain text