cuelang.org/go@v0.13.0/cue/testdata/fulleval/014_default_disambiguation_and_elimination.txtar (about)

     1  #name: default disambiguation and elimination
     2  #evalFull
     3  -- in.cue --
     4  a: *1 | int
     5  b: *3 | int
     6  c: a & b
     7  d: b & a
     8  
     9  e: *1 | *1
    10  -- out/def --
    11  a: *1 | int
    12  b: *3 | int
    13  c: a & b
    14  d: b & a
    15  e: 1
    16  -- out/legacy-debug --
    17  <0>{a: 1, b: 3, c: int, d: int, e: 1}
    18  -- out/compile --
    19  --- in.cue
    20  {
    21    a: (*1|int)
    22    b: (*3|int)
    23    c: (〈0;a〉 & 〈0;b〉)
    24    d: (〈0;b〉 & 〈0;a〉)
    25    e: (*1|*1)
    26  }
    27  -- out/eval/stats --
    28  Leaks:  0
    29  Freed:  24
    30  Reused: 17
    31  Allocs: 7
    32  Retain: 0
    33  
    34  Unifications: 6
    35  Conjuncts:    30
    36  Disjuncts:    24
    37  -- out/eval --
    38  (struct){
    39    a: (int){ |(*(int){ 1 }, (int){ int }) }
    40    b: (int){ |(*(int){ 3 }, (int){ int }) }
    41    c: (int){ |((int){ 1 }, (int){ 3 }, (int){ int }) }
    42    d: (int){ |((int){ 3 }, (int){ 1 }, (int){ int }) }
    43    e: (int){ 1 }
    44  }