up

Author: xieyuheng

examples/ackermann.test.lisp

@@ -1,10 +1,17 @@
 (import zero one two three "nat-church.lisp")
-(import ackermann "ackermann.lisp")
+(import ackermann ackermann-wrap "ackermann.lisp")
 
 (assert-equal (ackermann zero zero) one)
 (assert-equal (ackermann one zero) two)
 (assert-equal (ackermann zero one) two)
 
+ackermann-wrap
+
+;; TODO fail:
+
+;; ackermann
+;; (ackermann-wrap ackermann)
+
 ;; TODO fail:
 
 ;; (ackermann one one)

examples/ackermann.test.lisp.out

@@ -0,0 +1,2 @@
+(lambda (ackermann m n) (m (lambda (t f) t) (lambda (x t f) f) (lambda (base step) (step (n base step))) (n (lambda (t f) t) (lambda (x t f) f) (ackermann (m (lambda (f) (f (lambda (base step) base) (lambda (base step) base))) (lambda (x f) (f (x (lambda (car cdr) cdr)) (lambda (base step) (step (x (lambda (car cdr) cdr) base step))))) (lambda (car cdr) car)) (lambda (base step) (step base))) (ackermann (m (lambda (f) (f (lambda (base step) base) (lambda (base step) base))) (lambda (x f) (f (x (lambda (car cdr) cdr)) (lambda (base step) (step (x (lambda (car cdr) cdr) base step))))) (lambda (car cdr) car)) (ackermann m n)))))
+Maximum call stack size exceeded