[hcoop/debian/mlton.git] / regression / rem-unused.1.sml

datatype ttt = AAA | BBB of ttt vector

val z = AAA
val y = BBB (Vector.tabulate (1, fn _ => z))
(* val x = BBB (Vector.tabulate (1, fn _ => z)) *)
(* val _ = print (concat [Bool.toString (y = x), "\n"]) *)

val a : ttt vector = Vector.tabulate (0, fn _ => raise Fail "a")
val b : ttt vector = Vector.tabulate (0, fn _ => raise Fail "b")

val _ = print (concat [Bool.toString (a = b), "\n"])
Commit	Line	Data
7f918cf1 CE	1	datatype ttt = AAA \| BBB of ttt vector
	2
	3	val z = AAA
	4	val y = BBB (Vector.tabulate (1, fn _ => z))
	5	(* val x = BBB (Vector.tabulate (1, fn _ => z)) *)
	6	(* val _ = print (concat [Bool.toString (y = x), "\n"]) *)
	7
	8	val a : ttt vector = Vector.tabulate (0, fn _ => raise Fail "a")
	9	val b : ttt vector = Vector.tabulate (0, fn _ => raise Fail "b")
	10
	11	val _ = print (concat [Bool.toString (a = b), "\n"])