1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: associativity of defaults
4#evalFull
5-- in.cue --
6a: *"a" | ("b" | "c")
7b: (*"a" | "b") | "c"
8c: *"a" | (*"b" | "c")
9x: a & b
10y: b & c
11
12s1: *1 | ((*2 | 3) & (2 | *3))
13s2: *1 | ((*2 | 3) & (*2 | 3))
14s3: *1 | ((*2 | 3) & 3)
15s4: *1 | ((*2 | 3) & 2)
16s5: *1 | *(*2 | 3)
17-- out/def --
18x: a & b
19y: b & c
20a: *"a" | "b" | "c"
21b: *"a" | "b" | "c"
22c: *"a" | *"b" | "c"
23-- out/legacy-debug --
24<0>{x: "a", y: (*"a" | *"b"), a: "a", b: "a", c: (*"a" | *"b")}
25-- out/compile --
26--- in.cue
27{
28 a: (*"a"|("b"|"c"))
29 b: ((*"a"|"b")|"c")
30 c: (*"a"|(*"b"|"c"))
31 x: (〈0;a〉 & 〈0;b〉)
32 y: (〈0;b〉 & 〈0;c〉)
33 s1: (*1|((*2|3) & (2|*3)))
34 s2: (*1|((*2|3) & (*2|3)))
35 s3: (*1|((*2|3) & 3))
36 s4: (*1|((*2|3) & 2))
37 s5: (*1|*(*2|3))
38}
39-- out/eval/stats --
40Leaks: 0
41Freed: 83
42Reused: 74
43Allocs: 9
44Retain: 0
45
46Unifications: 11
47Conjuncts: 93
48Disjuncts: 83
49-- out/eval --
50(struct){
51 a: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
52 b: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
53 c: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
54 x: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
55 y: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
56 s1: (int){ |(*(int){ 1 }, (int){ 2 }, (int){ 3 }) }
57 s2: (int){ |(*(int){ 1 }, (int){ 2 }, (int){ 3 }) }
58 s3: (int){ |(*(int){ 1 }, (int){ 3 }) }
59 s4: (int){ |(*(int){ 1 }, (int){ 2 }) }
60 s5: (int){ |(*(int){ 1 }, *(int){ 2 }, (int){ 3 }) }
61}
View as plain text