The conversion INT has an unsigned counterpart UINT but there is no corresponding unsigned version of LONG. In order to use LONG to pass unsigned values, it is necessary to adjust the value on the SML side (which is an int) so that the range checking of LONG does not reject valid values. For example, see my definition of ULONG below.
However, I can't see way to define ULONG portably - the SML side adjustment needs to know the size of an unsigned long. Is this available somewhere? Is there some clever way to define a portable ULONG in terms of LONG?
Phil
local val m = case PolyML.architecture () of "X86_64" => IntInf.pow (2, 64) | "I386" => IntInf.pow (2, 32) | _ => raise Fail "unknown architecture"
val half_m = m div 2
fun fromLong x = (* Assume x in range of (signed) long int. *) if x < 0 then x + m else x
fun toLong x = (* * Ensure result outside range of (signed) long int if and only * if x is outside the range of unsigned long int by swapping * regions [~m/2, 0) and [m/2, m). *) if half_m <= x andalso x < m then x - m else if ~ half_m <= x andalso x < 0 then x + m else x in val ULONG = CInterface.mapConversion (fromLong, toLong) CInterface.LONG end
(* Test ULONG *)
local open CInterface in fun printULong n = call2 (get_sym "libc.so.6" "printf") (STRING, ULONG) VOID ("n = %lX\n", n) end
val pow_2_32 = IntInf.pow (2, 32); val pow_2_64 = IntInf.pow (2, 64);
printULong ~1; (* should fail *) printULong 0; (* always ok *)
printULong (pow_2_32 - 1); (* always ok *) printULong pow_2_32; (* should fail when long is 32 bits *)
printULong (pow_2_64 - 1); (* ok when long is at least 64 bits *) printULong pow_2_64; (* should fail when long is 64 bits *)