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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
