Tjark Weber wrote:
On Tue, 2010-01-12 at 13:32 -0700, Lu Zhao wrote:
~3;
val it = 0x~3 : int > ~12;
val it = 0x~C : int

This is exactly what I expect to see for a negative numbers. Since I don't intend to make a negative number in 2's complement format.

I was merely referring to the position of "~".  0x~3 and 0x~C are
rejected as malformed (when entered at the Poly/ML prompt).  ~0x3 and
~0xC, on the other hand, work fine.

I see. I'm sorry that I misunderstood you. But it's easy to fix by putting an if statement in the pretty print function.

Thanks for pointing this out.
Lu
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to