LargeWord's <, >, <=, and >= operators seem to be doing signed
comparisons, contrary to their intended behavior (and the behavior of
LargeWord.compare). A transcript follows -- note the last line:
Poly/ML RTS version I386-4.1.3 (13:57:33 Sep 30 2002)
Copyright (c) 2002 CUTS and contributors.
Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%)
Mapping /u/richards/local/i386/lib/poly/ML_dbase
Poly/ML 4.1.3 Release
> LargeWord.compare(0w1, 0wx7FFFFFFF);
val it = LESS : General.order
> LargeWord.<=(0w1,0wx7FFFFFFF);
val it = true : bool
> LargeWord.compare(0w1, 0wx80000000);
val it = LESS : General.order
> LargeWord.<=(0w1,0wx80000000);
val it = false : bool
--
Chris
