1-- in.cue --
2a: 1
3b: a + 1
4d: {
5 x: _
6 y: b + x
7}
8e: d & {
9 x: 5
10}
11-- out/eval/stats --
12Leaks: 0
13Freed: 9
14Reused: 6
15Allocs: 3
16Retain: 0
17
18Unifications: 9
19Conjuncts: 16
20Disjuncts: 9
21-- out/evalalpha --
22(struct){
23 a: (int){ 1 }
24 b: (int){ 2 }
25 d: (struct){
26 x: (_){ _ }
27 y: (_|_){
28 // [incomplete] d.y: non-concrete value _ in operand to +:
29 // ./in.cue:5:5
30 }
31 }
32 e: (struct){
33 x: (int){ 5 }
34 y: (int){ 7 }
35 }
36}
37-- diff/-out/evalalpha<==>+out/eval --
38diff old new
39--- old
40+++ new
41@@ -6,7 +6,6 @@
42 y: (_|_){
43 // [incomplete] d.y: non-concrete value _ in operand to +:
44 // ./in.cue:5:5
45- // ./in.cue:4:5
46 }
47 }
48 e: (struct){
49-- diff/todo/p2 --
50missing error positions
51-- out/eval --
52(struct){
53 a: (int){ 1 }
54 b: (int){ 2 }
55 d: (struct){
56 x: (_){ _ }
57 y: (_|_){
58 // [incomplete] d.y: non-concrete value _ in operand to +:
59 // ./in.cue:5:5
60 // ./in.cue:4:5
61 }
62 }
63 e: (struct){
64 x: (int){ 5 }
65 y: (int){ 7 }
66 }
67}
68-- out/compile --
69--- in.cue
70{
71 a: 1
72 b: (〈0;a〉 + 1)
73 d: {
74 x: _
75 y: (〈1;b〉 + 〈0;x〉)
76 }
77 e: (〈0;d〉 & {
78 x: 5
79 })
80}
View as plain text