regression/int-inf.rep3.sml

   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")