On Tue, 2010-01-12 at 08:39 +0000, David Matthews wrote:
>        PolyML.PrettyString("0x" ^ Int.fmt StringCvt.HEX x)

Note that this is arguably flawed for negative x.

Regards,
Tjark

_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to