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

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