Strongly Specify Alignment for FFI Allocation

[John Meacham]

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

-- 
John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/