[hcoop/debian/mlton.git] / regression / unary.2.sml

datatype num = Z | S of num

val rec plus =
   fn (n, Z) => n
    | (n, S m) => S (plus (n,m))

val rec times =
   fn (_, Z) => Z
    | (n, S m) => plus (n, times (n,m))

val rec fact =
   fn Z => S Z
    | n as S m => times (n, fact m)

val x = fact (S (S (S Z)))
Commit	Line	Data
7f918cf1 CE	1	datatype num = Z \| S of num
	2
	3	val rec plus =
	4	fn (n, Z) => n
	5	\| (n, S m) => S (plus (n,m))
	6
	7	val rec times =
	8	fn (_, Z) => Z
	9	\| (n, S m) => plus (n, times (n,m))
	10
	11	val rec fact =
	12	fn Z => S Z
	13	\| n as S m => times (n, fact m)
	14
	15	val x = fact (S (S (S Z)))
	16