github.com/solo-io/cue@v0.4.7/cue/testdata/resolve/022_list_unification.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: list unification
     4  #evalPartial
     5  -- in.cue --
     6  a: {l: ["foo", v], v: l[1]}
     7  b: a & {l: [_, "bar"]}
     8  -- out/def --
     9  a: {
    10  	l: ["foo", v]
    11  	v: l[1]
    12  }
    13  b: a & {
    14  	l: [_, "bar"]
    15  }
    16  -- out/legacy-debug --
    17  <0>{a: <1>{l: ["foo",<2>.v], v: <2>.l[1]}, b: <3>{l: ["foo","bar"], v: "bar"}}
    18  -- out/compile --
    19  --- in.cue
    20  {
    21    a: {
    22      l: [
    23        "foo",
    24        〈0;v〉,
    25      ]
    26      v: 〈0;l〉[1]
    27    }
    28    b: (〈0;a〉 & {
    29      l: [
    30        _,
    31        "bar",
    32      ]
    33    })
    34  }
    35  -- out/eval --
    36  (struct){
    37    a: (struct){
    38      l: (#list){
    39        0: (string){ "foo" }
    40        1: (_){ _ }
    41      }
    42      v: (_){ _ }
    43    }
    44    b: (struct){
    45      l: (#list){
    46        0: (string){ "foo" }
    47        1: (string){ "bar" }
    48      }
    49      v: (string){ "bar" }
    50    }
    51  }