Rob,
Thanks for that. It was using signed rather than unsigned comparisons.
I've pushed a fix.
Regards,
David
On 18/09/2016 22:35, Rob Arthan wrote:
Many thanks for the quick turn round on these issues. I have got quite a bit
further.
The ProofPower build is now failing as a result of the following issue:
5) In string comparisons, the leading character is being treated as negative
if it has character code greater than 127:
E.g.,
"\128" < "\000";
val it = true: bool
"\128a" < "\000a";
val it = true: bool
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
