| # DO NOT EDIT; generated by go run testdata/gen.go |
| # |
| #name: delayed constraint failure |
| #evalPartial |
| -- in.cue -- |
| a: b - 100 |
| b: a + 110 |
| b: 200 |
| |
| x: 100 |
| x: x + 1 |
| -- out/def -- |
| x: _|_ // conflicting values 100 and 101 |
| a: _|_ // conflicting values 210 and 200 |
| b: _|_ // conflicting values 210 and 200 |
| -- out/legacy-debug -- |
| <0>{x: _|_((100 & 101):conflicting values 100 and 101), a: _|_((210 & 200):conflicting values 210 and 200), b: _|_((210 & 200):conflicting values 210 and 200)} |
| -- out/compile -- |
| --- in.cue |
| { |
| a: (〈0;b〉 - 100) |
| b: (〈0;a〉 + 110) |
| b: 200 |
| x: 100 |
| x: (〈0;x〉 + 1) |
| } |
| -- out/eval -- |
| Errors: |
| incompatible values *adt.Num and *adt.Num |
| |
| Result: |
| (_|_){ |
| // [eval] |
| a: (int){ 100 } |
| b: (_|_){ |
| // [eval] incompatible values *adt.Num and *adt.Num |
| } |
| x: (_|_){ |
| // [eval] incompatible values *adt.Num and *adt.Num |
| } |
| } |
