[MLton-user] Feature request: MLton.Pointer

John Reppy jhr at cs.uchicago.edu
Thu Jun 5 09:35:32 PDT 2008


Is the C_Size structure documented?  A search on mlton.org did not turn
up any information.

	- John

On Jun 5, 2008, at 12:29 PM, Matthew Fluet wrote:

> On Mon, 2 Jun 2008, John Reppy wrote:
>> The MLton.Pointer structure should have
>>
>> 	val sizeofPtr : word
>>
>> so that one can allocate arrays of pointers in the C heap.
>
> Sounds reasonable.
>
> BTW, for importing "malloc", you should use
>  _import "malloc": C_Size.word -> MLton.Pointer.t;
> rather than
>  _import "malloc": Word32.word -> MLton.Pointer.t;
> to pass the appropriately sized 'size_t' object on 32-bit and 64-bit  
> platforms.
>
> The "structure C_Size : WORD" is available from "$(SML_LIB)/basis/c- 
> types.mlb".
>
> You could also use C_Size.wordSize to compute the sizeof a pointer  
> (MLton asserts that sizeof(void*) == sizeof(size_t) and CHAR_BIT ==  
> 8).
>




More information about the MLton-user mailing list