1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: self-reference cycles
4#evalPartial
5-- in.cue --
6a: b - 100
7b: a + 100
8
9c: [c[1], c[0]]
10-- out/def --
11a: b - 100
12b: a + 100
13c: [c[1], c[0]]
14-- out/legacy-debug --
15<0>{a: (<1>.b - 100), b: (<1>.a + 100), c: [<1>.c[1],<1>.c[0]]}
16-- out/compile --
17--- in.cue
18{
19 a: (〈0;b〉 - 100)
20 b: (〈0;a〉 + 100)
21 c: [
22 〈1;c〉[1],
23 〈1;c〉[0],
24 ]
25}
26-- out/eval/stats --
27Leaks: 0
28Freed: 6
29Reused: 2
30Allocs: 4
31Retain: 11
32
33Unifications: 6
34Conjuncts: 26
35Disjuncts: 7
36-- out/evalalpha --
37(struct){
38 a: (_|_){
39 // [incomplete] b: non-concrete value _ in operand to +:
40 // ./in.cue:2:4
41 // ./in.cue:1:4
42 }
43 b: (_|_){
44 // [incomplete] b: non-concrete value _ in operand to +:
45 // ./in.cue:2:4
46 // ./in.cue:1:4
47 }
48 c: (#list){
49 0: (_){ _ }
50 1: (_){ _ }
51 }
52}
53-- diff/-out/evalalpha<==>+out/eval --
54diff old new
55--- old
56+++ new
57@@ -1,10 +1,12 @@
58 (struct){
59 a: (_|_){
60- // [cycle] cycle error:
61+ // [incomplete] b: non-concrete value _ in operand to +:
62+ // ./in.cue:2:4
63 // ./in.cue:1:4
64 }
65 b: (_|_){
66- // [cycle] cycle error:
67+ // [incomplete] b: non-concrete value _ in operand to +:
68+ // ./in.cue:2:4
69 // ./in.cue:1:4
70 }
71 c: (#list){
72-- diff/explanation --
73More useful error messages.
74-- out/eval --
75(struct){
76 a: (_|_){
77 // [cycle] cycle error:
78 // ./in.cue:1:4
79 }
80 b: (_|_){
81 // [cycle] cycle error:
82 // ./in.cue:1:4
83 }
84 c: (#list){
85 0: (_){ _ }
86 1: (_){ _ }
87 }
88}
View as plain text