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

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