1 files changed, 30 insertions, 0 deletions
diff --git a/archive/0.vm.arc/generic.mu b/archive/0.vm.arc/generic.mu
new file mode 100644
index 00000000..1c4b9bb0
--- /dev/null
+++ b/archive/0.vm.arc/generic.mu
@@ -0,0 +1,30 @@
+; 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)))
+])