LFPL Compiler
Examples:
append.lfpl
assign.lfpl
assign1.lfpl
assign2.lfpl
call.lfpl
cons.lfpl
empty.lfpl
empty2.lfpl
empty3.lfpl
if.lfpl
if2.lfpl
insert.lfpl
leaf.lfpl
list1.lfpl
list2.lfpl
list3.lfpl
list4.lfpl
nil.lfpl
node.lfpl
reverse.lfpl
simple.lfpl
sort.lfpl
tree1.lfpl
tree2.lfpl
tree3.lfpl
void.lfpl
(* $Id: simple.lfpl,v 1.3 2000/09/29 15:00:50 da Exp $ *) (* Tests of simple functions, using builtin types. *) prog def boolean ctrue() = true; def boolean cfalse() = false; def int zero() = 0; def int id(int n) = n; def int plus(int x,int y) = x+y; def int factorial (int n) = if n = 0 then 1 else n * (factorial (n-1)) end