cuelang.org/go@v0.13.0/cue/testdata/resolve/046_predefined_ranges.txtar (about)

     1  #name: predefined ranges
     2  #evalPartial
     3  -- in.cue --
     4  k1: int8
     5  k1: 44
     6  
     7  k2: int64
     8  k2: -8_000_000_000
     9  
    10  e1: int16
    11  e1: 100_000
    12  -- out/def --
    13  k1: 44
    14  k2: -8000000000
    15  e1: _|_ // invalid value 100000 (out of bound int & <=32767)
    16  -- out/legacy-debug --
    17  <0>{k1: 44, k2: -8000000000, e1: _|_((int & <=32767 & 100000):invalid value 100000 (out of bound int & <=32767))}
    18  -- out/compile --
    19  --- in.cue
    20  {
    21    k1: &(int, >=-128, <=127)
    22    k1: 44
    23    k2: &(int, >=-9223372036854775808, <=9223372036854775807)
    24    k2: -8000000000
    25    e1: &(int, >=-32768, <=32767)
    26    e1: 100000
    27  }
    28  -- out/eval/stats --
    29  Leaks:  0
    30  Freed:  4
    31  Reused: 2
    32  Allocs: 2
    33  Retain: 0
    34  
    35  Unifications: 4
    36  Conjuncts:    7
    37  Disjuncts:    4
    38  -- out/eval --
    39  Errors:
    40  e1: invalid value 100000 (out of bound <=32767):
    41      ./in.cue:8:5
    42  
    43  Result:
    44  (_|_){
    45    // [eval]
    46    k1: (int){ 44 }
    47    k2: (int){ -8000000000 }
    48    e1: (_|_){
    49      // [eval] e1: invalid value 100000 (out of bound <=32767):
    50      //     ./in.cue:8:5
    51    }
    52  }