cuelang.org/go@v0.10.1/cue/testdata/resolve/017_disjunctions_of_lists.txtar (about)

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