cuelang.org/go@v0.13.0/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/eval --
    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        //     ./in.cue:4:5
    31      }
    32    }
    33    e: (struct){
    34      x: (int){ 5 }
    35      y: (int){ 7 }
    36    }
    37  }
    38  -- out/compile --
    39  --- in.cue
    40  {
    41    a: 1
    42    b: (〈0;a〉 + 1)
    43    d: {
    44      x: _
    45      y: (〈1;b〉 + 〈0;x〉)
    46    }
    47    e: (〈0;d〉 & {
    48      x: 5
    49    })
    50  }