1 structure I
= MLton
.IntInf
3 val big_canonical
= Vector.fromList (List.map I
.BigWord
.fromInt
[0,0,1])
4 val big_canonical
= valOf (I
.fromRep (I
.Big big_canonical
))
6 val big_non_canon
= Vector.fromList (List.map I
.BigWord
.fromInt
[0,0,1,0])
7 val big_non_canon
= case I
.fromRep (I
.Big big_non_canon
) of SOME bnc
=> bnc | NONE
=> big_canonical
9 val () = case IntInf
.compare (big_canonical
, big_non_canon
) of
10 EQUAL
=> print
"That's good\n"
11 | _
=> print
"That's bad\n"
13 val () = print (IntInf
.toString big_canonical^
"\n")
14 val () = print (IntInf
.toString big_non_canon^
"\n")