cuelang.org/go@v0.13.0/cue/testdata/fulleval/000_detect_conflicting_value.txtar (about)

     1  #name: detect conflicting value
     2  #evalFull
     3  -- in.cue --
     4  a: 8000.9
     5  a: 7080 | int
     6  -- out/def --
     7  a: _|_ // conflicting values 8000.9 and int (mismatched types float and int)
     8  -- out/legacy-debug --
     9  <0>{a: _|_((8000.9 & (int | int)):conflicting values 8000.9 and int (mismatched types float and int))}
    10  -- out/compile --
    11  --- in.cue
    12  {
    13    a: 8000.9
    14    a: (7080|int)
    15  }
    16  -- out/eval/stats --
    17  Leaks:  0
    18  Freed:  4
    19  Reused: 1
    20  Allocs: 3
    21  Retain: 0
    22  
    23  Unifications: 2
    24  Conjuncts:    5
    25  Disjuncts:    4
    26  -- out/eval --
    27  Errors:
    28  a: 2 errors in empty disjunction:
    29  a: conflicting values 8000.9 and 7080 (mismatched types float and int):
    30      ./in.cue:1:4
    31      ./in.cue:2:4
    32  a: conflicting values 8000.9 and int (mismatched types float and int):
    33      ./in.cue:1:4
    34      ./in.cue:2:11
    35  
    36  Result:
    37  (_|_){
    38    // [eval]
    39    a: (_|_){
    40      // [eval] a: 2 errors in empty disjunction:
    41      // a: conflicting values 8000.9 and 7080 (mismatched types float and int):
    42      //     ./in.cue:1:4
    43      //     ./in.cue:2:4
    44      // a: conflicting values 8000.9 and int (mismatched types float and int):
    45      //     ./in.cue:1:4
    46      //     ./in.cue:2:11
    47    }
    48  }