1-- in.cue --
2#A: {
3 Common
4 ...
5}
6
7Common: {
8 a: int
9 b: int
10}
11
12x: #A
13x: {
14 c: int
15}
16
17#B: {
18 if true {
19 a: int
20 }
21 ...
22}
23
24y: #B
25y: {
26 c: int
27}
28-- out/eval/stats --
29Leaks: 0
30Freed: 16
31Reused: 12
32Allocs: 4
33Retain: 1
34
35Unifications: 16
36Conjuncts: 32
37Disjuncts: 17
38-- out/evalalpha --
39(struct){
40 #A: (#struct){
41 a: (int){ int }
42 b: (int){ int }
43 }
44 Common: (struct){
45 a: (int){ int }
46 b: (int){ int }
47 }
48 x: (#struct){
49 c: (int){ int }
50 a: (int){ int }
51 b: (int){ int }
52 }
53 #B: (#struct){
54 a: (int){ int }
55 }
56 y: (#struct){
57 c: (int){ int }
58 a: (int){ int }
59 }
60}
61-- diff/-out/evalalpha<==>+out/eval --
62diff old new
63--- old
64+++ new
65@@ -8,15 +8,15 @@
66 b: (int){ int }
67 }
68 x: (#struct){
69- a: (int){ int }
70- b: (int){ int }
71- c: (int){ int }
72+ c: (int){ int }
73+ a: (int){ int }
74+ b: (int){ int }
75 }
76 #B: (#struct){
77 a: (int){ int }
78 }
79 y: (#struct){
80- a: (int){ int }
81- c: (int){ int }
82+ c: (int){ int }
83+ a: (int){ int }
84 }
85 }
86-- diff/explanation --
87Reordering
88-- out/eval --
89(struct){
90 #A: (#struct){
91 a: (int){ int }
92 b: (int){ int }
93 }
94 Common: (struct){
95 a: (int){ int }
96 b: (int){ int }
97 }
98 x: (#struct){
99 a: (int){ int }
100 b: (int){ int }
101 c: (int){ int }
102 }
103 #B: (#struct){
104 a: (int){ int }
105 }
106 y: (#struct){
107 a: (int){ int }
108 c: (int){ int }
109 }
110}
111-- out/compile --
112--- in.cue
113{
114 #A: {
115 〈1;Common〉
116 ...
117 }
118 Common: {
119 a: int
120 b: int
121 }
122 x: 〈0;#A〉
123 x: {
124 c: int
125 }
126 #B: {
127 if true {
128 a: int
129 }
130 ...
131 }
132 y: 〈0;#B〉
133 y: {
134 c: int
135 }
136}
View as plain text