Fergus Henderson wrote: > but this doesn't handle higher-order types properly, doesn't print the > argument types, etc., so it may be easier to just export type_name/1 to C. Like this ? :- pragma export(type_name(in) = out, "ML_type_name"). (+ " MR_type_name = ML_type_name;\n" in mkinit.c) Should I put that in std_util.m ? -- R1.