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

val rec down =
   fn 0 => 0
    | n => 1 + down' (n - 1) + down (n - 1)
and down' =
   fn 0 => 0
    | n => 1 + down (n - 1) + down' (n - 1)

val _ = down 13
Commit	Line	Data
7f918cf1 CE	1	val rec down =
	2	fn 0 => 0
	3	\| n => 1 + down' (n - 1) + down (n - 1)
	4	and down' =
	5	fn 0 => 0
	6	\| n => 1 + down (n - 1) + down' (n - 1)
	7
	8	val _ = down 13