1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3#name: delayed constraint failure
4#evalPartial
5-- in.cue --
6a: b - 100 // Okay to have no error here, as long as there is an error with b.
7b: a + 110
8b: 200
9
10x: 100
11x: x + 1
12-- out/def --
13x: _|_ // conflicting values 100 and 101
14a: _|_ // conflicting values 210 and 200
15b: _|_ // conflicting values 210 and 200
16-- out/legacy-debug --
17<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)}
18-- out/compile --
19--- in.cue
20{
21 a: (〈0;b〉 - 100)
22 b: (〈0;a〉 + 110)
23 b: 200
24 x: 100
25 x: (〈0;x〉 + 1)
26}
27-- out/eval/stats --
28Leaks: 0
29Freed: 4
30Reused: 1
31Allocs: 3
32Retain: 1
33
34Unifications: 4
35Conjuncts: 5
36Disjuncts: 4
37-- out/eval --
38Errors:
39b: conflicting values 210 and 200:
40 ./in.cue:2:4
41 ./in.cue:3:4
42x: conflicting values 101 and 100:
43 ./in.cue:5:4
44 ./in.cue:6:4
45
46Result:
47(_|_){
48 // [eval]
49 a: (int){ 100 }
50 b: (_|_){
51 // [eval] b: conflicting values 210 and 200:
52 // ./in.cue:2:4
53 // ./in.cue:3:4
54 }
55 x: (_|_){
56 // [eval] x: conflicting values 101 and 100:
57 // ./in.cue:5:4
58 // ./in.cue:6:4
59 }
60}
View as plain text