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