Strongly Specify Alignment for FFI Allocation

John Meacham john at
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 - ⑆⑆john⑈ -

More information about the Haskell-prime mailing list