...

Text file src/cuelang.org/go/cue/testdata/eval/unify.txtar

Documentation: cuelang.org/go/cue/testdata/eval

     1-- in.cue --
     2a: d: {
     3	#base
     4	#info: {...}
     5	Y: #info.X
     6}
     7
     8#base: {
     9	#info: {...}
    10}
    11
    12a: [Name=string]: {#info: {
    13	X: "foo"
    14}}
    15-- out/eval/stats --
    16Leaks:  0
    17Freed:  8
    18Reused: 3
    19Allocs: 5
    20Retain: 1
    21
    22Unifications: 8
    23Conjuncts:    19
    24Disjuncts:    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}

View as plain text