[polyml] polyml display integer in hex format?

12 Jan 2010

      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