cuelang.org/go@v0.10.1/cue/testdata/choosedefault/002_associativity_of_defaults.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: associativity of defaults
     4  #evalFull
     5  -- in.cue --
     6  a: *"a" | ("b" | "c")
     7  b: (*"a" | "b") | "c"
     8  c: *"a" | (*"b" | "c")
     9  x: a & b
    10  y: b & c
    11  
    12  s1: *1 | ((*2 | 3) & (2 | *3))
    13  s2: *1 | ((*2 | 3) & (*2 | 3))
    14  s3: *1 | ((*2 | 3) & 3)
    15  s4: *1 | ((*2 | 3) & 2)
    16  s5: *1 | *(*2 | 3)
    17  -- out/def --
    18  x: a & b
    19  y: b & c
    20  a: *"a" | "b" | "c"
    21  b: *"a" | "b" | "c"
    22  c: *"a" | *"b" | "c"
    23  -- out/legacy-debug --
    24  <0>{x: "a", y: (*"a" | *"b"), a: "a", b: "a", c: (*"a" | *"b")}
    25  -- out/compile --
    26  --- in.cue
    27  {
    28    a: (*"a"|("b"|"c"))
    29    b: ((*"a"|"b")|"c")
    30    c: (*"a"|(*"b"|"c"))
    31    x: (〈0;a〉 & 〈0;b〉)
    32    y: (〈0;b〉 & 〈0;c〉)
    33    s1: (*1|((*2|3) & (2|*3)))
    34    s2: (*1|((*2|3) & (*2|3)))
    35    s3: (*1|((*2|3) & 3))
    36    s4: (*1|((*2|3) & 2))
    37    s5: (*1|*(*2|3))
    38  }
    39  -- out/eval/stats --
    40  Leaks:  0
    41  Freed:  83
    42  Reused: 74
    43  Allocs: 9
    44  Retain: 0
    45  
    46  Unifications: 11
    47  Conjuncts:    93
    48  Disjuncts:    83
    49  -- out/eval --
    50  (struct){
    51    a: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    52    b: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    53    c: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    54    x: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    55    y: (string){ |(*(string){ "a" }, (string){ "b" }, (string){ "c" }) }
    56    s1: (int){ |(*(int){ 1 }, (int){ 2 }, (int){ 3 }) }
    57    s2: (int){ |(*(int){ 1 }, (int){ 2 }, (int){ 3 }) }
    58    s3: (int){ |(*(int){ 1 }, (int){ 3 }) }
    59    s4: (int){ |(*(int){ 1 }, (int){ 2 }) }
    60    s5: (int){ |(*(int){ 1 }, *(int){ 2 }, (int){ 3 }) }
    61  }