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

datatype num = Z | S of num

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

val zero = Z
val one = S Z
val two = plus (one,one)

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

val square = fn n => times (n,n)

val four = square two

val sixteen = square four

val two56 = square sixteen

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

val x = fib (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 zero = Z
	8	val one = S Z
	9	val two = plus (one,one)
	10
	11	val rec times =
	12	fn (_, Z) => Z
	13	\| (n, S m) => plus (n, times (n,m))
	14
	15	val square = fn n => times (n,n)
	16
	17	val four = square two
	18
	19	val sixteen = square four
	20
	21	val two56 = square sixteen
	22
	23	val rec fib =
	24	fn Z => Z
	25	\| S Z => S Z
	26	\| S (S n) => plus (fib (S n), fib n)
	27
	28	val x = fib (S Z)
	29