cuelang.org/go@v0.10.1/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/eval/stats --
    10  Leaks:  5
    11  Freed:  3
    12  Reused: 1
    13  Allocs: 7
    14  Retain: 5
    15  
    16  Unifications: 8
    17  Conjuncts:    14
    18  Disjuncts:    8
    19  -- out/eval --
    20  Errors:
    21  explicit error (_|_ literal) in source:
    22      ./in.cue:4:4
    23  
    24  Result:
    25  (_|_){
    26    // [user]
    27    a: (_|_){
    28      // [incomplete] empty list in call to or:
    29      //     ./in.cue:1:4
    30    }
    31    b: (_|_){
    32      // [user] explicit error (_|_ literal) in source:
    33      //     ./in.cue:4:4
    34    }
    35  }
    36  -- out/compile --
    37  --- in.cue
    38  {
    39    a: or([])
    40    a: "t"
    41    b: _|_(explicit error (_|_ literal) in source)
    42    b: "t"
    43  }