...
1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3raw: true
4eval: true
5-- in.cue --
6{
7 b: [{
8 {[X=_]: int}
9 if a > 4 {
10 f: 4
11 }
12 }][a]
13 a: int
14 c: *1 | 2
15}
16-- out/def --
17b: [{
18 if a > 4 {
19 f: 4
20 }
21 {[X=string]: int}
22}][a]
23a: int
24c: *1 | 2
25-- out/compile --
26--- in.cue
27{
28 {
29 b: [
30 {
31 {
32 [_]: int
33 }
34 if (ć2;ać > 4) {
35 f: 4
36 }
37 },
38 ][ć0;ać]
39 a: int
40 c: (*1|2)
41 }
42}
43-- out/eval/stats --
44Leaks: 5
45Freed: 6
46Reused: 2
47Allocs: 9
48Retain: 10
49
50Unifications: 9
51Conjuncts: 16
52Disjuncts: 16
53-- out/eval --
54(struct){
55 b: (_|_){
56 // [incomplete] b: invalid non-ground value int (must be concrete int):
57 // ./in.cue:8:5
58 }
59 a: (int){ int }
60 c: (int){ |(*(int){ 1 }, (int){ 2 }) }
61}
View as plain text