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

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