cuelang.org/go@v0.13.0/cue/testdata/basicrewrite/005_boolean_arithmetic.txtar (about)

     1  #name: boolean arithmetic
     2  #evalPartial
     3  -- in.cue --
     4  a: true && true
     5  b: true || false
     6  c: false == true
     7  d: false != true
     8  e: true & true
     9  f: true & false
    10  -- out/def --
    11  a: true
    12  b: true
    13  c: false
    14  d: true
    15  e: true
    16  f: _|_ // conflicting values true and false
    17  -- out/legacy-debug --
    18  <0>{a: true, b: true, c: false, d: true, e: true, f: _|_(true:conflicting values true and false)}
    19  -- out/compile --
    20  --- in.cue
    21  {
    22    a: (true && true)
    23    b: (true || false)
    24    c: (false == true)
    25    d: (false != true)
    26    e: (true & true)
    27    f: (true & false)
    28  }
    29  -- out/eval/stats --
    30  Leaks:  0
    31  Freed:  7
    32  Reused: 5
    33  Allocs: 2
    34  Retain: 0
    35  
    36  Unifications: 7
    37  Conjuncts:    9
    38  Disjuncts:    7
    39  -- out/eval --
    40  Errors:
    41  f: conflicting values false and true:
    42      ./in.cue:6:4
    43      ./in.cue:6:11
    44  
    45  Result:
    46  (_|_){
    47    // [eval]
    48    a: (bool){ true }
    49    b: (bool){ true }
    50    c: (bool){ false }
    51    d: (bool){ true }
    52    e: (bool){ true }
    53    f: (_|_){
    54      // [eval] f: conflicting values false and true:
    55      //     ./in.cue:6:4
    56      //     ./in.cue:6:11
    57    }
    58  }