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. ------------------------------------------------------------------------------