Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | structure I = MLton.IntInf |
2 | ||
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)) | |
5 | ||
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 | |
8 | ||
9 | val () = case IntInf.compare (big_canonical, big_non_canon) of | |
10 | EQUAL => print "That's good\n" | |
11 | | _ => print "That's bad\n" | |
12 | ||
13 | val () = print (IntInf.toString big_canonical^"\n") | |
14 | val () = print (IntInf.toString big_non_canon^"\n") |