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

     1  -- in.cue --
     2  a: d: {
     3  	#base
     4  	#info: {...}
     5  	Y: #info.X
     6  }
     7  
     8  #base: {
     9  	#info: {...}
    10  }
    11  
    12  a: [Name=string]: {#info: {
    13  	X: "foo"
    14  }}
    15  -- out/eval/stats --
    16  Leaks:  0
    17  Freed:  8
    18  Reused: 3
    19  Allocs: 5
    20  Retain: 1
    21  
    22  Unifications: 8
    23  Conjuncts:    19
    24  Disjuncts:    9
    25  -- out/eval --
    26  (struct){
    27    a: (struct){
    28      d: (#struct){
    29        #info: (#struct){
    30          X: (string){ "foo" }
    31        }
    32        Y: (string){ "foo" }
    33      }
    34    }
    35    #base: (#struct){
    36      #info: (#struct){
    37      }
    38    }
    39  }
    40  -- out/compile --
    41  --- in.cue
    42  {
    43    a: {
    44      d: {
    45        〈2;#base〉
    46        #info: {
    47          ...
    48        }
    49        Y: 〈0;#info〉.X
    50      }
    51    }
    52    #base: {
    53      #info: {
    54        ...
    55      }
    56    }
    57    a: {
    58      [string]: {
    59        #info: {
    60          X: "foo"
    61        }
    62      }
    63    }
    64  }