cuelang.org/go@v0.10.1/cue/testdata/cycle/021_delayed_constraint_failure.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: delayed constraint failure
     4  #evalPartial
     5  -- in.cue --
     6  a: b - 100 // Okay to have no error here, as long as there is an error with b.
     7  b: a + 110
     8  b: 200
     9  
    10  x: 100
    11  x: x + 1
    12  -- out/def --
    13  x: _|_ // conflicting values 100 and 101
    14  a: _|_ // conflicting values 210 and 200
    15  b: _|_ // 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 --
    28  Leaks:  0
    29  Freed:  4
    30  Reused: 1
    31  Allocs: 3
    32  Retain: 1
    33  
    34  Unifications: 4
    35  Conjuncts:    5
    36  Disjuncts:    4
    37  -- out/eval --
    38  Errors:
    39  b: conflicting values 210 and 200:
    40      ./in.cue:2:4
    41      ./in.cue:3:4
    42  x: conflicting values 101 and 100:
    43      ./in.cue:5:4
    44      ./in.cue:6:4
    45  
    46  Result:
    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  }