Strongly Specify Alignment for FFI Allocation
john at repetae.net
Tue Sep 29 18:45:52 EDT 2009
What about something like
> alloca $ \ptr -> ... where ptr :: Ptr Word8.
wouldn't ptr only need byte alignment? if the implementation allocates
such values on the stack then it may be hard to guarentee otherwise.
So, I think the extra verbiage should only apply to routines that
allocate based on a size in bytes, rather than when allocating a
specific type like with the plain alloca and malloc routines.
John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
More information about the Haskell-prime