Two additions I think are required:
1) The spec should state that mallocBytes and allocaBytes return a block
of memory sufficiently aligned for any of the primitive types supported
by the architecture.
2) The description of Storable should require
sizeOf x `mod` alignment x = 0
The library implementation of mallocArray implicitly assumes this, and
C also requires that elements of an array are allocated contiguously.
_______________________________________________
FFI mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/ffi
