| 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 () = if big_canonical = big_non_canon |
| 10 | then print "That's good\n" |
| 11 | else print "That's bad\n" |
| 12 | |
| 13 | val () = print (IntInf.toString big_canonical^"\n") |
| 14 | val () = print (IntInf.toString big_non_canon^"\n") |