On Wed Oct 30, 2024 at 8:45 AM GMT, Christian Lindig wrote: > > > > On 29 Oct 2024, at 18:16, Alejandro Vallejo <alejandro.vall...@cloud.com> > > wrote: > > > > > > The invariant I'd like to (slowly) introduce and discuss is that fields may > > have bitflags (e.g: a packed array of booleans indexed by some enumerated > > type), but not be mixed with wider fields in the same primitive type. This > > ensures any field containing an integer of any kind can be referred by > > pointer > > and treated the same way as any other with regards to sizeof() and the like. > > Acked-by: Christian Lindig <christian.lin...@cloud.com>
Thanks. > > > Fine with me but the OCaml part is not very exposed to this. Yeah, OCaml is pretty far from interacting with these details at all. > > — C Cheers, Alejandro
