Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / regression / int-inf.rep1.sml
CommitLineData
7f918cf1
CE
1structure I = MLton.IntInf
2val bigthree = Vector.fromList (List.map I.BigWord.fromInt [0,3])
3val three = case I.fromRep (I.Big bigthree) of SOME b3 => b3 | NONE => 3
4val () = if three = three + 1 - 1
5 then print "That's good\n"
6 else print "That's bad\n"