cuelang.org/go@v0.13.0/tools/trim/testdata/20.txtar (about)

     1  Simplifications can occur within definitions, but we must be sure to
     2  keep the ellipsis.
     3  
     4  -- a.cue --
     5  let #x = {a: int, b: {c: 5, c: >4, ...}}
     6  y: #x & {a: 4, b: {c: int}}
     7  z: #x & {a: 4, b: {c: int, d: "hi"}}
     8  -- out/trim-v3 --
     9  == a.cue
    10  let #x = {a: int, b: {c: 5, ...}}
    11  y: #x & {a: 4}
    12  z: #x & {a: 4, b: {d: "hi"}}
    13  -- diff/-out/trim-v3<==>+out/trim --
    14  diff old new
    15  --- old
    16  +++ new
    17  @@ -1,4 +1,4 @@
    18   == a.cue
    19  -let #x = {a: int, b: {c: 5, c: >4, ...}}
    20  -y: #x & {a: 4, b: {c: int}}
    21  -z: #x & {a: 4, b: {c: int, d: "hi"}}
    22  +let #x = {a: int, b: {c: 5, ...}}
    23  +y: #x & {a: 4}
    24  +z: #x & {a: 4, b: {d: "hi"}}
    25  -- out/trim-v3-noshare --
    26  == a.cue
    27  let #x = {a: int, b: {c: 5, ...}}
    28  y: #x & {a: 4}
    29  z: #x & {a: 4, b: {d: "hi"}}
    30  -- diff/-out/trim-v3-noshare<==>+out/trim --
    31  diff old new
    32  --- old
    33  +++ new
    34  @@ -1,4 +1,4 @@
    35   == a.cue
    36  -let #x = {a: int, b: {c: 5, c: >4, ...}}
    37  -y: #x & {a: 4, b: {c: int}}
    38  -z: #x & {a: 4, b: {c: int, d: "hi"}}
    39  +let #x = {a: int, b: {c: 5, ...}}
    40  +y: #x & {a: 4}
    41  +z: #x & {a: 4, b: {d: "hi"}}
    42  -- out/trim --
    43  == a.cue
    44  let #x = {a: int, b: {c: 5, c: >4, ...}}
    45  y: #x & {a: 4, b: {c: int}}
    46  z: #x & {a: 4, b: {c: int, d: "hi"}}