[hcoop/debian/mlton.git] / regression / nonterminate / 8.sml

datatype t = T of t

datatype u = A of int | B of t * int

fun f () = T (f ())

val _ =
   case if 0 = 0 then B (f (), 13) else A 13 of
      B (_, n) => n + 1
Commit	Line	Data
7f918cf1 CE	1	datatype t = T of t
	2
	3	datatype u = A of int \| B of t * int
	4
	5	fun f () = T (f ())
	6
	7	val _ =
	8	case if 0 = 0 then B (f (), 13) else A 13 of
	9	B (_, n) => n + 1