regression/int-inf.rep1.sml

   1 structure I = MLton.IntInf
   2 val bigthree = Vector.fromList (List.map I.BigWord.fromInt [0,3])
   3 val three = case I.fromRep (I.Big bigthree) of SOME b3 => b3 | NONE => 3
   4 val () = if three = three + 1 - 1
   5          then print "That's good\n"
   6          else print "That's bad\n"