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
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to