1-- in.cue --
2cond: bool
3src: {}
4top: _
5a: [ if cond {}]
6b: [for x in src.foo {}]
7c: {for x in top {}}
8-- out/eval/stats --
9Leaks: 0
10Freed: 7
11Reused: 5
12Allocs: 2
13Retain: 0
14
15Unifications: 7
16Conjuncts: 7
17Disjuncts: 7
18-- out/eval --
19(struct){
20 cond: (bool){ bool }
21 src: (struct){
22 }
23 top: (_){ _ }
24 a: (_|_){
25 // [incomplete] a: incomplete bool: bool:
26 // ./in.cue:1:7
27 }
28 b: (_|_){
29 // [incomplete] b: undefined field: foo:
30 // ./in.cue:5:18
31 }
32 c: (_|_){
33 // [incomplete] c: cannot range over top (incomplete type _):
34 // ./in.cue:6:14
35 }
36}
37-- out/compile --
38--- in.cue
39{
40 cond: bool
41 src: {}
42 top: _
43 a: [
44 if 〈1;cond〉 {},
45 ]
46 b: [
47 for _, x in 〈1;src〉.foo {},
48 ]
49 c: {
50 for _, x in 〈1;top〉 {}
51 }
52}
View as plain text