1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(* Bug in handling of relational operators in LargeWord. *)
if LargeWord.< (0w1, 0w2) then () else raise Fail "WRONG";
if LargeWord.< (0w1, 0wx80000002) then () else raise Fail "WRONG";
if LargeWord.> (0w1, 0w2) then raise Fail "WRONG" else ();
if LargeWord.> (0w1, 0wx80000002) then raise Fail "WRONG" else ();
if LargeWord.<= (0w1, 0w2) then () else raise Fail "WRONG";
if LargeWord.<= (0w1, 0wx80000002) then () else raise Fail "WRONG";
if LargeWord.>= (0w1, 0w2) then raise Fail "WRONG" else ();
if LargeWord.>= (0w1, 0wx80000002) then raise Fail "WRONG" else ();
case LargeWord.compare(0w1, 0wx80000000) of
LESS => ()
| _ => raise Fail "WRONG";
|
