cuelang.org/go@v0.13.0/cue/testdata/export/008.txtar (about)

     1  -- in.cue --
     2  {a: [ 3 & 4]}
     3  -- out/def --
     4  a: [_|_, // conflicting values 3 and 4
     5  ]
     6  -- out/compile --
     7  --- in.cue
     8  {
     9    {
    10      a: [
    11        (3 & 4),
    12      ]
    13    }
    14  }
    15  -- out/eval/stats --
    16  Leaks:  0
    17  Freed:  3
    18  Reused: 0
    19  Allocs: 3
    20  Retain: 0
    21  
    22  Unifications: 3
    23  Conjuncts:    5
    24  Disjuncts:    3
    25  -- out/evalalpha --
    26  Errors:
    27  a.0: conflicting values 4 and 3:
    28      ./in.cue:1:7
    29      ./in.cue:1:11
    30  
    31  Result:
    32  (_|_){
    33    // [eval]
    34    a: (_|_){
    35      // [eval]
    36      0: (_|_){
    37        // [eval] a.0: conflicting values 4 and 3:
    38        //     ./in.cue:1:7
    39        //     ./in.cue:1:11
    40      }
    41    }
    42  }
    43  -- diff/-out/evalalpha<==>+out/eval --
    44  diff old new
    45  --- old
    46  +++ new
    47  @@ -1,6 +1,5 @@
    48   Errors:
    49   a.0: conflicting values 4 and 3:
    50  -    ./in.cue:1:1
    51       ./in.cue:1:7
    52       ./in.cue:1:11
    53   
    54  @@ -11,7 +10,6 @@
    55       // [eval]
    56       0: (_|_){
    57         // [eval] a.0: conflicting values 4 and 3:
    58  -      //     ./in.cue:1:1
    59         //     ./in.cue:1:7
    60         //     ./in.cue:1:11
    61       }
    62  -- diff/todo/p2 --
    63  Missing error positions.
    64  -- out/eval --
    65  Errors:
    66  a.0: conflicting values 4 and 3:
    67      ./in.cue:1:1
    68      ./in.cue:1:7
    69      ./in.cue:1:11
    70  
    71  Result:
    72  (_|_){
    73    // [eval]
    74    a: (_|_){
    75      // [eval]
    76      0: (_|_){
    77        // [eval] a.0: conflicting values 4 and 3:
    78        //     ./in.cue:1:1
    79        //     ./in.cue:1:7
    80        //     ./in.cue:1:11
    81      }
    82    }
    83  }