cuelang.org/go@v0.10.1/cue/testdata/basicrewrite/018_self-reference_cycles.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: self-reference cycles
     4  #evalPartial
     5  -- in.cue --
     6  a: b - 100
     7  b: a + 100
     8  
     9  c: [c[1], c[0]]
    10  -- out/def --
    11  a: b - 100
    12  b: a + 100
    13  c: [c[1], c[0]]
    14  -- out/legacy-debug --
    15  <0>{a: (<1>.b - 100), b: (<1>.a + 100), c: [<1>.c[1],<1>.c[0]]}
    16  -- out/compile --
    17  --- in.cue
    18  {
    19    a: (〈0;b〉 - 100)
    20    b: (〈0;a〉 + 100)
    21    c: [
    22      〈1;c〉[1],
    23      〈1;c〉[0],
    24    ]
    25  }
    26  -- out/eval/stats --
    27  Leaks:  0
    28  Freed:  6
    29  Reused: 2
    30  Allocs: 4
    31  Retain: 11
    32  
    33  Unifications: 6
    34  Conjuncts:    26
    35  Disjuncts:    7
    36  -- out/evalalpha --
    37  (struct){
    38    a: (_|_){
    39      // [incomplete] b: non-concrete value _ in operand to +:
    40      //     ./in.cue:2:4
    41      //     ./in.cue:1:4
    42    }
    43    b: (_|_){
    44      // [incomplete] b: non-concrete value _ in operand to +:
    45      //     ./in.cue:2:4
    46      //     ./in.cue:1:4
    47    }
    48    c: (#list){
    49      0: (_){ _ }
    50      1: (_){ _ }
    51    }
    52  }
    53  -- diff/-out/evalalpha<==>+out/eval --
    54  diff old new
    55  --- old
    56  +++ new
    57  @@ -1,10 +1,12 @@
    58   (struct){
    59     a: (_|_){
    60  -    // [cycle] cycle error:
    61  +    // [incomplete] b: non-concrete value _ in operand to +:
    62  +    //     ./in.cue:2:4
    63       //     ./in.cue:1:4
    64     }
    65     b: (_|_){
    66  -    // [cycle] cycle error:
    67  +    // [incomplete] b: non-concrete value _ in operand to +:
    68  +    //     ./in.cue:2:4
    69       //     ./in.cue:1:4
    70     }
    71     c: (#list){
    72  -- diff/explanation --
    73  More useful error messages.
    74  -- out/eval --
    75  (struct){
    76    a: (_|_){
    77      // [cycle] cycle error:
    78      //     ./in.cue:1:4
    79    }
    80    b: (_|_){
    81      // [cycle] cycle error:
    82      //     ./in.cue:1:4
    83    }
    84    c: (#list){
    85      0: (_){ _ }
    86      1: (_){ _ }
    87    }
    88  }