1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: structs
4#evalPartial
5-- in.cue --
6a: t & {c: 5} // {c:5,d:15}
7b: ti & {c: 7} // {c:7,d:21}
8t: {c: number, d: c * 3} // {c:number,d:number*3}
9ti: t & {c: int}
10-- out/def --
11a: t & {
12 c: 5
13}
14t: {
15 c: number
16 d: c * 3
17}
18b: ti & {
19 c: 7
20}
21ti: t & {
22 c: int
23}
24-- out/legacy-debug --
25<0>{a: <1>{c: 5, d: 15}, t: <2>{c: number, d: (<3>.c * 3)}, b: <4>{c: 7, d: 21}, ti: <5>{c: int, d: (<6>.c * 3)}}
26-- out/compile --
27--- in.cue
28{
29 a: (〈0;t〉 & {
30 c: 5
31 })
32 b: (〈0;ti〉 & {
33 c: 7
34 })
35 t: {
36 c: number
37 d: (〈0;c〉 * 3)
38 }
39 ti: (〈0;t〉 & {
40 c: int
41 })
42}
43-- out/eval/stats --
44Leaks: 0
45Freed: 13
46Reused: 9
47Allocs: 4
48Retain: 2
49
50Unifications: 13
51Conjuncts: 33
52Disjuncts: 15
53-- out/evalalpha --
54(struct){
55 a: (struct){
56 c: (int){ 5 }
57 d: (int){ 15 }
58 }
59 b: (struct){
60 c: (int){ 7 }
61 d: (int){ 21 }
62 }
63 t: (struct){
64 c: (number){ number }
65 d: (_|_){
66 // [incomplete] t.d: non-concrete value number in operand to *:
67 // ./in.cue:3:19
68 // ./in.cue:3:8
69 }
70 }
71 ti: (struct){
72 c: (int){ int }
73 d: (_|_){
74 // [incomplete] ti.d: non-concrete value int in operand to *:
75 // ./in.cue:3:19
76 // ./in.cue:4:13
77 }
78 }
79}
80-- diff/-out/evalalpha<==>+out/eval --
81diff old new
82--- old
83+++ new
84@@ -20,7 +20,6 @@
85 d: (_|_){
86 // [incomplete] ti.d: non-concrete value int in operand to *:
87 // ./in.cue:3:19
88- // ./in.cue:3:8
89 // ./in.cue:4:13
90 }
91 }
92-- diff/todo/p2 --
93error positions
94-- out/eval --
95(struct){
96 a: (struct){
97 c: (int){ 5 }
98 d: (int){ 15 }
99 }
100 b: (struct){
101 c: (int){ 7 }
102 d: (int){ 21 }
103 }
104 t: (struct){
105 c: (number){ number }
106 d: (_|_){
107 // [incomplete] t.d: non-concrete value number in operand to *:
108 // ./in.cue:3:19
109 // ./in.cue:3:8
110 }
111 }
112 ti: (struct){
113 c: (int){ int }
114 d: (_|_){
115 // [incomplete] ti.d: non-concrete value int in operand to *:
116 // ./in.cue:3:19
117 // ./in.cue:3:8
118 // ./in.cue:4:13
119 }
120 }
121}
View as plain text