builtins.ha (2624B)
1 // SPDX-License-Identifier: MPL-2.0 2 // (c) Hare authors <https://harelang.org> 3 4 // IDs are precomputed, but a test verifies that they match what they would be 5 // if computed at runtime 6 7 // [[_type]] representation of bool. 8 export const builtin_bool: _type = _type { 9 repr = builtin::BOOL, 10 sz = 1, _align = 1, 11 id = 292984781, 12 ... 13 }; 14 15 // [[_type]] representation of done. 16 export const builtin_done: _type = _type { 17 repr = builtin::DONE, 18 sz = 0, _align = 0, 19 id = 3950255460, 20 ... 21 }; 22 23 // [[_type]] representation of f32. 24 export const builtin_f32: _type = _type { 25 repr = builtin::F32, 26 sz = 4, _align = 4, 27 id = 1568378015, 28 ... 29 }; 30 31 // [[_type]] representation of f64. 32 export const builtin_f64: _type = _type { 33 repr = builtin::F64, 34 sz = 8, _align = 8, 35 id = 930681398, 36 ... 37 }; 38 39 // [[_type]] representation of i8. 40 export const builtin_i8: _type = _type { 41 repr = builtin::I8, 42 sz = 1, _align = 1, 43 id = 2674862226, 44 ... 45 }; 46 47 // [[_type]] representation of i16. 48 export const builtin_i16: _type = _type { 49 repr = builtin::I16, 50 sz = 2, _align = 2, 51 id = 2037165609, 52 ... 53 }; 54 55 // [[_type]] representation of i32. 56 export const builtin_i32: _type = _type { 57 repr = builtin::I32, 58 sz = 4, _align = 4, 59 id = 1399468992, 60 ... 61 }; 62 63 // [[_type]] representation of i64. 64 export const builtin_i64: _type = _type { 65 repr = builtin::I64, 66 sz = 8, _align = 8, 67 id = 3312558843, 68 ... 69 }; 70 71 // [[_type]] representation of opaque. 72 export const builtin_opaque: _type = _type { 73 repr = builtin::OPAQUE, 74 sz = SIZE_UNDEFINED, _align = SIZE_UNDEFINED, 75 id = 1737287038, 76 ... 77 }; 78 79 // [[_type]] representation of never. 80 export const builtin_never: _type = _type { 81 repr = builtin::NEVER, 82 sz = SIZE_UNDEFINED, _align = SIZE_UNDEFINED, 83 id = 1737287038, 84 ... 85 }; 86 87 // [[_type]] representation of rune. 88 export const builtin_rune: _type = _type { 89 repr = builtin::RUNE, 90 sz = 4, _align = 4, 91 id = 2843771249, 92 ... 93 }; 94 95 // [[_type]] representation of u8. 96 export const builtin_u8: _type = _type { 97 repr = builtin::U8, 98 sz = 1, _align = 1, 99 id = 3181589295, 100 ... 101 }; 102 103 // [[_type]] representation of u16. 104 export const builtin_u16: _type = _type { 105 repr = builtin::U16, 106 sz = 2, _align = 2, 107 id = 3481467866, 108 ... 109 }; 110 111 // [[_type]] representation of u32. 112 export const builtin_u32: _type = _type { 113 repr = builtin::U32, 114 sz = 4, _align = 4, 115 id = 1906196061, 116 ... 117 }; 118 119 // [[_type]] representation of u64. 120 export const builtin_u64: _type = _type { 121 repr = builtin::U64, 122 sz = 8, _align = 8, 123 id = 1268499444, 124 ... 125 }; 126 127 // [[_type]] representation of void. 128 export const builtin_void: _type = _type { 129 repr = builtin::VOID, 130 sz = 0, _align = 0, 131 id = 3012680272, 132 ... 133 };