cuelang.org/go@v0.13.0/cue/testdata/eval/errunifiy.txtar (about)

     1  Incomplete errors should not unify with values.
     2  
     3  -- in.cue --
     4  a: or([])
     5  a: "t"
     6  
     7  b: _|_
     8  b: "t"
     9  -- out/evalalpha/stats --
    10  Leaks:  4
    11  Freed:  0
    12  Reused: 0
    13  Allocs: 4
    14  Retain: 0
    15  
    16  Unifications: 4
    17  Conjuncts:    6
    18  Disjuncts:    0
    19  -- diff/-out/evalalpha/stats<==>+out/eval/stats --
    20  diff old new
    21  --- old
    22  +++ new
    23  @@ -1,9 +1,9 @@
    24  -Leaks:  5
    25  -Freed:  3
    26  -Reused: 1
    27  -Allocs: 7
    28  -Retain: 5
    29  +Leaks:  4
    30  +Freed:  0
    31  +Reused: 0
    32  +Allocs: 4
    33  +Retain: 0
    34   
    35  -Unifications: 8
    36  -Conjuncts:    14
    37  -Disjuncts:    8
    38  +Unifications: 4
    39  +Conjuncts:    6
    40  +Disjuncts:    0
    41  -- out/eval/stats --
    42  Leaks:  5
    43  Freed:  3
    44  Reused: 1
    45  Allocs: 7
    46  Retain: 5
    47  
    48  Unifications: 8
    49  Conjuncts:    14
    50  Disjuncts:    8
    51  -- out/eval --
    52  Errors:
    53  explicit error (_|_ literal) in source:
    54      ./in.cue:4:4
    55  
    56  Result:
    57  (_|_){
    58    // [user]
    59    a: (_|_){
    60      // [incomplete] empty list in call to or:
    61      //     ./in.cue:1:4
    62    }
    63    b: (_|_){
    64      // [user] explicit error (_|_ literal) in source:
    65      //     ./in.cue:4:4
    66    }
    67  }
    68  -- out/compile --
    69  --- in.cue
    70  {
    71    a: or([])
    72    a: "t"
    73    b: _|_(explicit error (_|_ literal) in source)
    74    b: "t"
    75  }