1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: default disambiguation and elimination
4#evalFull
5-- in.cue --
6a: *1 | int
7b: *3 | int
8c: a & b
9d: b & a
10
11e: *1 | *1
12-- out/def --
13a: *1 | int
14b: *3 | int
15c: a & b
16d: b & a
17e: 1
18-- out/legacy-debug --
19<0>{a: 1, b: 3, c: int, d: int, e: 1}
20-- out/compile --
21--- in.cue
22{
23 a: (*1|int)
24 b: (*3|int)
25 c: (〈0;a〉 & 〈0;b〉)
26 d: (〈0;b〉 & 〈0;a〉)
27 e: (*1|*1)
28}
29-- out/eval/stats --
30Leaks: 0
31Freed: 24
32Reused: 17
33Allocs: 7
34Retain: 0
35
36Unifications: 6
37Conjuncts: 30
38Disjuncts: 24
39-- out/eval --
40(struct){
41 a: (int){ |(*(int){ 1 }, (int){ int }) }
42 b: (int){ |(*(int){ 3 }, (int){ int }) }
43 c: (int){ |((int){ 1 }, (int){ 3 }, (int){ int }) }
44 d: (int){ |((int){ 3 }, (int){ 1 }, (int){ int }) }
45 e: (int){ 1 }
46}
View as plain text