20 Sep
2016
20 Sep
'16
1 p.m.
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:
- 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