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/
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
