regression/rem-unused.1.sml

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