1-- in.cue --
2a: {
3 #A
4}
5
6a: c: 1
7
8#A: b: 1
9-- out/eval/stats --
10Leaks: 0
11Freed: 6
12Reused: 2
13Allocs: 4
14Retain: 1
15
16Unifications: 6
17Conjuncts: 9
18Disjuncts: 7
19-- out/evalalpha --
20Errors:
21a.c: field not allowed:
22 ./in.cue:2:2
23 ./in.cue:5:4
24
25Result:
26(_|_){
27 // [eval]
28 a: (_|_){
29 // [eval]
30 c: (_|_){
31 // [eval] a.c: field not allowed:
32 // ./in.cue:2:2
33 // ./in.cue:5:4
34 }
35 b: (int){ 1 }
36 }
37 #A: (#struct){
38 b: (int){ 1 }
39 }
40}
41-- diff/-out/evalalpha<==>+out/eval --
42diff old new
43--- old
44+++ new
45@@ -1,9 +1,7 @@
46 Errors:
47 a.c: field not allowed:
48- ./in.cue:1:4
49 ./in.cue:2:2
50 ./in.cue:5:4
51- ./in.cue:7:5
52
53 Result:
54 (_|_){
55@@ -10,14 +8,12 @@
56 // [eval]
57 a: (_|_){
58 // [eval]
59- b: (int){ 1 }
60 c: (_|_){
61 // [eval] a.c: field not allowed:
62- // ./in.cue:1:4
63 // ./in.cue:2:2
64 // ./in.cue:5:4
65- // ./in.cue:7:5
66 }
67+ b: (int){ 1 }
68 }
69 #A: (#struct){
70 b: (int){ 1 }
71-- diff/todo/p2 --
72Missing positions / reordering.
73-- out/eval --
74Errors:
75a.c: field not allowed:
76 ./in.cue:1:4
77 ./in.cue:2:2
78 ./in.cue:5:4
79 ./in.cue:7:5
80
81Result:
82(_|_){
83 // [eval]
84 a: (_|_){
85 // [eval]
86 b: (int){ 1 }
87 c: (_|_){
88 // [eval] a.c: field not allowed:
89 // ./in.cue:1:4
90 // ./in.cue:2:2
91 // ./in.cue:5:4
92 // ./in.cue:7:5
93 }
94 }
95 #A: (#struct){
96 b: (int){ 1 }
97 }
98}
99-- out/compile --
100--- in.cue
101{
102 a: {
103 ć1;#Ać
104 }
105 a: {
106 c: 1
107 }
108 #A: {
109 b: 1
110 }
111}
View as plain text