cuelang.org/go@v0.10.1/cue/testdata/eval/resolve_basic.txtar (about)

     1  -- in.cue --
     2  a: 1
     3  b: a + 1
     4  d: {
     5  	x: _
     6  	y: b + x
     7  }
     8  e: d & {
     9  	x: 5
    10  }
    11  -- out/eval/stats --
    12  Leaks:  0
    13  Freed:  9
    14  Reused: 6
    15  Allocs: 3
    16  Retain: 0
    17  
    18  Unifications: 9
    19  Conjuncts:    16
    20  Disjuncts:    9
    21  -- out/evalalpha --
    22  (struct){
    23    a: (int){ 1 }
    24    b: (int){ 2 }
    25    d: (struct){
    26      x: (_){ _ }
    27      y: (_|_){
    28        // [incomplete] d.y: non-concrete value _ in operand to +:
    29        //     ./in.cue:5:5
    30      }
    31    }
    32    e: (struct){
    33      x: (int){ 5 }
    34      y: (int){ 7 }
    35    }
    36  }
    37  -- diff/-out/evalalpha<==>+out/eval --
    38  diff old new
    39  --- old
    40  +++ new
    41  @@ -6,7 +6,6 @@
    42       y: (_|_){
    43         // [incomplete] d.y: non-concrete value _ in operand to +:
    44         //     ./in.cue:5:5
    45  -      //     ./in.cue:4:5
    46       }
    47     }
    48     e: (struct){
    49  -- diff/todo/p2 --
    50  missing error positions
    51  -- out/eval --
    52  (struct){
    53    a: (int){ 1 }
    54    b: (int){ 2 }
    55    d: (struct){
    56      x: (_){ _ }
    57      y: (_|_){
    58        // [incomplete] d.y: non-concrete value _ in operand to +:
    59        //     ./in.cue:5:5
    60        //     ./in.cue:4:5
    61      }
    62    }
    63    e: (struct){
    64      x: (int){ 5 }
    65      y: (int){ 7 }
    66    }
    67  }
    68  -- out/compile --
    69  --- in.cue
    70  {
    71    a: 1
    72    b: (〈0;a〉 + 1)
    73    d: {
    74      x: _
    75      y: (〈1;b〉 + 〈0;x〉)
    76    }
    77    e: (〈0;d〉 & {
    78      x: 5
    79    })
    80  }