[hcoop/debian/mlton.git] / regression / 4.sml

(* This code has a handler which is provably unreachable. *)

fun f(n: int): int list =
   if n = 0
      then []
   else
      let val x = f(n - 1)
      in [13] handle e => (hd x + 1; raise e)
      end

val _ = f 13
Commit	Line	Data
7f918cf1 CE	1	(* This code has a handler which is provably unreachable. *)
	2
	3	fun f(n: int): int list =
	4	if n = 0
	5	then []
	6	else
	7	let val x = f(n - 1)
	8	in [13] handle e => (hd x + 1; raise e)
	9	end
	10
	11	val _ = f 13