[hcoop/debian/mlton.git] / regression / int-inf.rep2.sml

structure I = MLton.IntInf
val bigthree = Vector.fromList (List.map I.BigWord.fromInt [0,3])
val three = case I.fromRep (I.Big bigthree) of SOME b3 => b3 | NONE => 3
val () = case IntInf.compare (three, three + 1 - 1) of
         EQUAL => print "That's good\n"
         | _ => print "That's bad\n"
Commit	Line	Data
7f918cf1 CE	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 () = case IntInf.compare (three, three + 1 - 1) of
	5	EQUAL => print "That's good\n"
	6	\| _ => print "That's bad\n"