| # 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"} |
