| -- in.cue -- |
| #Value: 0 | 1 |
| |
| foo: #Value |
| foo: != bar |
| bar: #Value |
| bar: != foo |
| |
| #Value: 0 | 1 |
| |
| Foo: #Value |
| Foo: != Bar |
| Bar: #Value |
| Bar: != Foo |
| Bar: 0 |
| |
| cell: a: 0 | 1 |
| cell: a: != cell.b |
| cell: b: 0 | 1 |
| cell: b: != cell.a |
| cell: a: 0 |
| cell: b: _ |
| |
| a: cell.a |
| b: cell.b |
| |
| -- out/eval -- |
| (struct){ |
| #Value: (int){ |((int){ 0 }, (int){ 1 }) } |
| foo: (_|_){ |
| // [incomplete] foo: incomplete cause disjunction |
| } |
| bar: (_|_){ |
| // [incomplete] bar: incomplete cause disjunction |
| } |
| Foo: (int){ 1 } |
| Bar: (int){ 0 } |
| cell: (struct){ |
| a: (int){ 0 } |
| b: (int){ 1 } |
| } |
| a: (int){ 0 } |
| b: (int){ 1 } |
| } |
| -- out/compile -- |
| --- in.cue |
| { |
| #Value: (0|1) |
| foo: 〈0;#Value〉 |
| foo: !=〈0;bar〉 |
| bar: 〈0;#Value〉 |
| bar: !=〈0;foo〉 |
| #Value: (0|1) |
| Foo: 〈0;#Value〉 |
| Foo: !=〈0;Bar〉 |
| Bar: 〈0;#Value〉 |
| Bar: !=〈0;Foo〉 |
| Bar: 0 |
| cell: { |
| a: (0|1) |
| } |
| cell: { |
| a: !=〈1;cell〉.b |
| } |
| cell: { |
| b: (0|1) |
| } |
| cell: { |
| b: !=〈1;cell〉.a |
| } |
| cell: { |
| a: 0 |
| } |
| cell: { |
| b: _ |
| } |
| a: 〈0;cell〉.a |
| b: 〈0;cell〉.b |
| } |
