about summary refs log tree commit diff stats
path: root/archive/1.vm.arc/generic.mu
diff options
context:
space:
mode:
Diffstat (limited to 'archive/1.vm.arc/generic.mu')
-rw-r--r--archive/1.vm.arc/generic.mu30
1 files changed, 0 insertions, 30 deletions
diff --git a/archive/1.vm.arc/generic.mu b/archive/1.vm.arc/generic.mu
deleted file mode 100644
index 1c4b9bb0..00000000
--- a/archive/1.vm.arc/generic.mu
+++ /dev/null
@@ -1,30 +0,0 @@
-; To demonstrate generic functions, we'll construct a factorial function with
-; separate base and recursive clauses. Compare factorial.mu.
-
-; factorial n = n*factorial(n-1)
-(function factorial [
-  (default-space:space-address <- new space:literal 30:literal)
-  (n:integer <- input 0:literal)
-  (x:integer <- subtract n:integer 1:literal)
-  (subresult:integer <- factorial x:integer)
-  (result:integer <- multiply subresult:integer n:integer)
-  (reply result:integer)
-])
-
-; factorial 0 = 1
-(function factorial [
-  (default-space:space-address <- new space:literal 30:literal)
-  (n:integer <- input 0:literal)
-  { begin
-    (zero?:boolean <- equal n:integer 0:literal)
-    (break-unless zero?:boolean)
-    (reply 1:literal)
-  }
-])
-
-(function main [
-  (1:integer <- factorial 5:literal)
-  ($print (("result: " literal)))
-  (print-integer nil:literal/terminal 1:integer)
-  ($print (("\n" literal)))
-])