| # DO NOT EDIT; generated by go run testdata/gen.go |
| |
| #name: disjunctions |
| #evalPartial |
| -- in.cue -- |
| o1: 1 | 2 | 3 |
| o2: (1 | 2 | 3) & 1 |
| o3: 2 & (1 | *2 | 3) |
| o4: (1 | *2 | 3) & (1 | 2 | *3) |
| o5: (1 | *2 | 3) & (3 | *2 | 1) |
| o6: (1 | 2 | 3) & (3 | 1 | 2) |
| o7: (1 | 2 | 3) & (2 | 3) |
| o8: (1 | 2 | 3) & (3 | 2) |
| o9: (2 | 3) & (1 | 2 | 3) |
| o10: (3 | 2) & (1 | *2 | 3) |
| |
| m1: (1 | (*2 | 3)) & (>=2 & <=3) |
| m2: (1 | (*2 | 3)) & (2 | 3) |
| m3: (*1 | *(*2 | 3)) & (2 | 3) |
| m4: (2 | 3) & (*2 | 3) |
| m5: (*2 | 3) & (2 | 3) |
| |
| // (*2 | 3) & (2 | 3) |
| // (2 | 3) & (*2 | 3) |
| // 2&(*2 | 3) | 3&(*2 | 3) |
| // (*1 | (*2 | 3)) & (2 | 3) |
| // *1& (2 | 3) | (*2 | 3)&(2 | 3) |
| // *2&(2 | 3) | 3&(2 | 3) |
| |
| // (2 | 3)&(*1 | (*2 | 3)) |
| // 2&(*1 | (*2 | 3)) | 3&(*1 | (*2 | 3)) |
| // *1&2 | (*2 | 3)&2 | *1&3 | (*2 | 3)&3 |
| // (*2 | 3)&2 | (*2 | 3)&3 |
| // *2 | 3 |
| |
| // All errors are treated the same as per the unification model. |
| i1: [1, 2][3] | "c" |
| -- out/def -- |
| o1: 1 | 2 | 3 |
| o2: 1 |
| o3: 2 |
| o4: 1 | 2 | 3 | *_|_ |
| o5: 1 | *2 | 3 |
| o6: 1 | 2 | 3 |
| o7: 2 | 3 |
| o8: 2 | 3 |
| o9: 2 | 3 |
| o10: 3 | *2 |
| m1: *2 | 3 |
| m2: *2 | 3 |
| m3: *2 | 3 |
| m4: *2 | 3 |
| m5: *2 | 3 |
| |
| // All errors are treated the same as per the unification model. |
| i1: "c" |
| -- out/legacy-debug -- |
| <0>{o1: (1 | 2 | 3), o2: 1, o3: 2, o4: (1 | 2 | 3 | *_|_), o5: (1 | *2 | 3), o6: (1 | 2 | 3), o7: (2 | 3), o8: (2 | 3), o9: (2 | 3), o10: (3 | *2), m1: (*2 | 3), m2: (*2 | 3), m3: (*2 | 3), m4: (*2 | 3), m5: (*2 | 3), i1: "c"} |
| -- out/compile -- |
| --- in.cue |
| { |
| o1: (1|2|3) |
| o2: ((1|2|3) & 1) |
| o3: (2 & (1|*2|3)) |
| o4: ((1|*2|3) & (1|2|*3)) |
| o5: ((1|*2|3) & (3|*2|1)) |
| o6: ((1|2|3) & (3|1|2)) |
| o7: ((1|2|3) & (2|3)) |
| o8: ((1|2|3) & (3|2)) |
| o9: ((2|3) & (1|2|3)) |
| o10: ((3|2) & (1|*2|3)) |
| m1: ((1|(*2|3)) & (>=2 & <=3)) |
| m2: ((1|(*2|3)) & (2|3)) |
| m3: ((*1|*(*2|3)) & (2|3)) |
| m4: ((2|3) & (*2|3)) |
| m5: ((*2|3) & (2|3)) |
| i1: ([ |
| 1, |
| 2, |
| ][3]|"c") |
| } |
| -- out/eval -- |
| (struct){ |
| o1: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) } |
| o2: (int){ 1 } |
| o3: (int){ 2 } |
| o4: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) } |
| o5: (int){ |(*(int){ 2 }, (int){ 1 }, (int){ 3 }) } |
| o6: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) } |
| o7: (int){ |((int){ 2 }, (int){ 3 }) } |
| o8: (int){ |((int){ 2 }, (int){ 3 }) } |
| o9: (int){ |((int){ 2 }, (int){ 3 }) } |
| o10: (int){ |(*(int){ 2 }, (int){ 3 }) } |
| m1: (int){ |(*(int){ 2 }, (int){ 3 }) } |
| m2: (int){ |(*(int){ 2 }, (int){ 3 }) } |
| m3: (int){ |(*(int){ 2 }, (int){ 3 }) } |
| m4: (int){ |(*(int){ 2 }, (int){ 3 }) } |
| m5: (int){ |(*(int){ 2 }, (int){ 3 }) } |
| i1: (string){ "c" } |
| } |
