1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: complex groundness 2
4#evalFull
5-- in.cue --
6r1: f1 & {y: "c"}
7
8f1: {y: string, res: a.b.c & {d: y}}
9
10a: b: c: {d: string, s: "a" + d}
11a: b: [C=string]: {d: string, s: "a" + d}
12a: b: c: d: string
13-- out/def --
14r1: f1 & {
15 y: "c"
16}
17f1: {
18 y: string
19 res: a.b.c & {
20 d: y
21 }
22}
23a: {
24 b: {
25 {[C=string]: {
26 d: string, s: "a" + d
27 }}
28 c: {
29 d: string
30 s: "a"+d & "a"+d
31 }
32 }
33}
34-- out/legacy-debug --
35<0>{r1: <1>{y: "c", res: <2>{d: "c", s: "ac"}}, f1: <3>{y: string, res: <4>{d: string, s: (("a" + <5>.d) & ("a" + <5>.d))}}, a: <6>{b: <7>{[]: <8>(C: string)-><9>{d: string, s: ("a" + <9>.d)}, c: <10>{d: string, s: (("a" + <11>.d) & ("a" + <11>.d))}}}}
36-- out/compile --
37--- in.cue
38{
39 r1: (〈0;f1〉 & {
40 y: "c"
41 })
42 f1: {
43 y: string
44 res: (〈1;a〉.b.c & {
45 d: 〈1;y〉
46 })
47 }
48 a: {
49 b: {
50 c: {
51 d: string
52 s: ("a" + 〈0;d〉)
53 }
54 }
55 }
56 a: {
57 b: {
58 [string]: {
59 d: string
60 s: ("a" + 〈0;d〉)
61 }
62 }
63 }
64 a: {
65 b: {
66 c: {
67 d: string
68 }
69 }
70 }
71}
72-- out/eval/stats --
73Leaks: 0
74Freed: 16
75Reused: 8
76Allocs: 8
77Retain: 6
78
79Unifications: 16
80Conjuncts: 63
81Disjuncts: 22
82-- out/evalalpha --
83(struct){
84 r1: (struct){
85 y: (string){ "c" }
86 res: (struct){
87 d: (string){ "c" }
88 s: (string){ "ac" }
89 }
90 }
91 f1: (struct){
92 y: (string){ string }
93 res: (struct){
94 d: (string){ string }
95 s: (_|_){
96 // [incomplete] f1.res.s: non-concrete value string in operand to +:
97 // ./in.cue:5:25
98 // ./in.cue:5:14
99 // f1.res.s: non-concrete value string in operand to +:
100 // ./in.cue:6:34
101 // ./in.cue:5:14
102 }
103 }
104 }
105 a: (struct){
106 b: (struct){
107 c: (struct){
108 d: (string){ string }
109 s: (_|_){
110 // [incomplete] a.b.c.s: non-concrete value string in operand to +:
111 // ./in.cue:5:25
112 // ./in.cue:5:14
113 // a.b.c.s: non-concrete value string in operand to +:
114 // ./in.cue:6:34
115 // ./in.cue:5:14
116 }
117 }
118 }
119 }
120}
121-- diff/-out/evalalpha<==>+out/eval --
122diff old new
123--- old
124+++ new
125@@ -13,16 +13,10 @@
126 s: (_|_){
127 // [incomplete] f1.res.s: non-concrete value string in operand to +:
128 // ./in.cue:5:25
129- // ./in.cue:3:34
130- // ./in.cue:5:14
131- // ./in.cue:6:23
132- // ./in.cue:7:13
133+ // ./in.cue:5:14
134 // f1.res.s: non-concrete value string in operand to +:
135 // ./in.cue:6:34
136- // ./in.cue:3:34
137- // ./in.cue:5:14
138- // ./in.cue:6:23
139- // ./in.cue:7:13
140+ // ./in.cue:5:14
141 }
142 }
143 }
144@@ -34,13 +28,9 @@
145 // [incomplete] a.b.c.s: non-concrete value string in operand to +:
146 // ./in.cue:5:25
147 // ./in.cue:5:14
148- // ./in.cue:6:23
149- // ./in.cue:7:13
150 // a.b.c.s: non-concrete value string in operand to +:
151 // ./in.cue:6:34
152 // ./in.cue:5:14
153- // ./in.cue:6:23
154- // ./in.cue:7:13
155 }
156 }
157 }
158-- diff/todo/p2 --
159Missing error positions.
160-- out/eval --
161(struct){
162 r1: (struct){
163 y: (string){ "c" }
164 res: (struct){
165 d: (string){ "c" }
166 s: (string){ "ac" }
167 }
168 }
169 f1: (struct){
170 y: (string){ string }
171 res: (struct){
172 d: (string){ string }
173 s: (_|_){
174 // [incomplete] f1.res.s: non-concrete value string in operand to +:
175 // ./in.cue:5:25
176 // ./in.cue:3:34
177 // ./in.cue:5:14
178 // ./in.cue:6:23
179 // ./in.cue:7:13
180 // f1.res.s: non-concrete value string in operand to +:
181 // ./in.cue:6:34
182 // ./in.cue:3:34
183 // ./in.cue:5:14
184 // ./in.cue:6:23
185 // ./in.cue:7:13
186 }
187 }
188 }
189 a: (struct){
190 b: (struct){
191 c: (struct){
192 d: (string){ string }
193 s: (_|_){
194 // [incomplete] a.b.c.s: non-concrete value string in operand to +:
195 // ./in.cue:5:25
196 // ./in.cue:5:14
197 // ./in.cue:6:23
198 // ./in.cue:7:13
199 // a.b.c.s: non-concrete value string in operand to +:
200 // ./in.cue:6:34
201 // ./in.cue:5:14
202 // ./in.cue:6:23
203 // ./in.cue:7:13
204 }
205 }
206 }
207 }
208}
View as plain text