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

structure I = MLton.IntInf

val big_canonical = Vector.fromList (List.map I.BigWord.fromInt [0,0,1])
val big_canonical = valOf (I.fromRep (I.Big big_canonical))

val big_non_canon = Vector.fromList (List.map I.BigWord.fromInt [0,0,1,0])
val big_non_canon = case I.fromRep (I.Big big_non_canon) of SOME bnc => bnc | NONE => big_canonical

val () = if big_canonical = big_non_canon
         then print "That's good\n"
         else print "That's bad\n"

val () = print (IntInf.toString big_canonical^"\n")
val () = print (IntInf.toString big_non_canon^"\n")
Commit	Line	Data
7f918cf1 CE	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")