6 Oct
2014
6 Oct
'14
3:53 p.m.
Well, I implied that we need to amend Poly/ML C FFI in such a way that pointers will be treated efficiently and with minimal program code.
On 05.10.14 20:39, Phil Clayton wrote:
I'm fairly sure that whatever integer type you use to hold a pointer, it's going to get converted to a vol at the C interface anyway - inside a conversion are functions to convert from/to vols. Also, the supplied conversions for integer types work with IntInf.int, e.g.
LONG : IntInf.int Conversion;
val it = ?: int Conversion
so IntInf.int will be involved too, which may not be optimized out.