1# DO NOT EDIT; generated by go run testdata/gen.go
2#
3raw: true
4eval: true
5-- in.cue --
6{
7 u16: int & >=0 & <=65535
8 u32: uint32
9 u64: uint64
10 u128: uint128
11 u8: uint8
12 ua: uint16 & >0
13 us: >=0 & <10_000 & int
14 i16: >=-32768 & int & <=32767
15 i32: int32 & >0
16 i64: int64
17 i128: int128
18 f64: float64
19 fi: float64 & int
20}
21-- out/def --
22u16: uint16
23u32: uint32
24u64: uint64
25u128: uint128
26u8: uint8
27ua: uint16 & >0
28us: uint & <10000
29i16: int16
30i32: int32 & >0
31i64: int64
32i128: int128
33f64: float64
34fi: int & float64
35-- out/compile --
36--- in.cue
37{
38 {
39 u16: ((int & >=0) & <=65535)
40 u32: &(int, >=0, <=4294967295)
41 u64: &(int, >=0, <=18446744073709551615)
42 u128: &(int, >=0, <=340282366920938463463374607431768211455)
43 u8: &(int, >=0, <=255)
44 ua: (&(int, >=0, <=65535) & >0)
45 us: ((>=0 & <10000) & int)
46 i16: ((>=-32768 & int) & <=32767)
47 i32: (&(int, >=-2147483648, <=2147483647) & >0)
48 i64: &(int, >=-9223372036854775808, <=9223372036854775807)
49 i128: &(int, >=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727)
50 f64: &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308)
51 fi: (&(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) & int)
52 }
53}
54-- out/eval/stats --
55Leaks: 0
56Freed: 14
57Reused: 12
58Allocs: 2
59Retain: 0
60
61Unifications: 14
62Conjuncts: 24
63Disjuncts: 14
64-- out/eval --
65(struct){
66 u16: (int){ &(>=0, <=65535, int) }
67 u32: (int){ &(>=0, <=4294967295, int) }
68 u64: (int){ &(>=0, <=18446744073709551615, int) }
69 u128: (int){ &(>=0, <=340282366920938463463374607431768211455, int) }
70 u8: (int){ &(>=0, <=255, int) }
71 ua: (int){ &(>0, <=65535, int) }
72 us: (int){ &(>=0, <10000, int) }
73 i16: (int){ &(>=-32768, <=32767, int) }
74 i32: (int){ &(>0, <=2147483647, int) }
75 i64: (int){ &(>=-9223372036854775808, <=9223372036854775807, int) }
76 i128: (int){ &(>=-170141183460469231731687303715884105728, <=170141183460469231731687303715884105727, int) }
77 f64: (number){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308) }
78 fi: (int){ &(>=-1.797693134862315708145274237317043567981E+308, <=1.797693134862315708145274237317043567981E+308, int) }
79}
View as plain text