[polyml] polyml display integer in hex format?

luzhao＠cs.utah.edu

11 Jan 2010 11 Jan '10

8:05 p.m.

Hi,

Is there a way to make polyml display an integer in its hex format? For example,

0x12;

val it = 18 : int

I want to have 0x12 echoed back instead of 18.

Thanks. Lu