Re: [MLton] Changing MLton.Pointer.word

Florian Weimer <[email protected]> Tue, 28 Oct 2014 14:29:55 +0100
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <[email protected]>
* Matthew Fluet:

> There are also C_Size, C_Ptrdiff, C_Intptr, and C_UIntptr, all of
> which should correspond to an integer or word of the appropriate,
> target-dependent bit size.  (Technically, the C standard does not
> require all of these types to have the same number of bits, though in
> practice I suspect that they almost always do.)

I've started to use those, they seem to be vastly preferably to
MLton.Pointer.  Thanks for the reference.  It's a bit difficult to
find out what's in these structures, though.

> It might also help if you could describe in a little more detail
> how/why you want to use MLton.Pointer.t values as Word<N>.word values.

I might be dealing with blobs of memory which are larger than what can
be indexed with a Word.word value.

------------------------------------------------------------------------------