max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: remove cnstr_get_scalar and cnstr_set_scalar

Browse source
This commit is contained in:
Leonardo de Moura 2020-02-25 13:28:23 -08:00
parent 16d88b04ea
commit d8ed4165b0
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/runtime/object.h
View file

@ -94,12 +94,6 @@ inline void cnstr_set_uint8(b_obj_arg o, unsigned offset, uint8 v) { lean_ctor_s
inline void cnstr_set_uint16(b_obj_arg o, unsigned offset, uint16 v) { lean_ctor_set_uint16(o, offset, v); }
inline void cnstr_set_uint32(b_obj_arg o, unsigned offset, uint32 v) { lean_ctor_set_uint32(o, offset, v); }
inline void cnstr_set_uint64(b_obj_arg o, unsigned offset, uint64 v) { lean_ctor_set_uint64(o, offset, v); }
template<typename T> inline T cnstr_get_scalar(b_obj_arg o, unsigned offset) {
return *((T*)((uint8_t*)(lean_ctor_obj_cptr(o)) + offset));
}
template<typename T> inline void cnstr_set_scalar(b_obj_arg o, unsigned offset, T v) {
*((T*)((uint8_t*)(lean_ctor_obj_cptr(o)) + offset)) = v;
}
// =======================================
// Closures