Chez Scheme Transcript [Wed May 18 11:50:14 2011] > (rep) >> (let ([x (call/cc (lambda (k) k))]) (x (lambda (ignore) 7))) |(eval-expression (app-exp ((lambda-exp (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7))))))) (call/cc-exp (lambda-exp (k) ((var-exp k)))))) (rep-cont) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expressions ((lambda-exp (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7))))))) (call/cc-exp (lambda-exp (k) ((var-exp k))))) (proc-cont (rep-cont)) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (lambda-exp (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7))))))) (eval-cont ((call/cc-exp (lambda-exp (k) ((var-exp k))))) (proc-cont (rep-cont)) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (eval-cont ((call/cc-exp (lambda-exp (k) ((var-exp k))))) (proc-cont (rep-cont)) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) |(eval-expressions ((call/cc-exp (lambda-exp (k) ((var-exp k))))) (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (call/cc-exp (lambda-exp (k) ((var-exp k)))) (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (lambda-exp (k) ((var-exp k))) (call/cc-cont (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (call/cc-cont (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) (closure (k) ((var-exp k)) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) |(eval-expressions ((var-exp k)) (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((k) . #1((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (var-exp k) (eval-cont () (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((k) . #1((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((k) . #1((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (eval-cont () (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((k) . #1((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(eval-expressions () (cons-cont (acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) (((k) . #1((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (cons-cont (acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) ()) |(apply-cont (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) |(eval-expressions () (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont)))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont)))) ()) |(apply-cont (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) |(apply-cont (proc-cont (rep-cont)) ((closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) |(eval-expression (app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7))))) (rep-cont) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expressions ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))) (proc-cont (rep-cont)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (var-exp x) (eval-cont ((lambda-exp (ignore) ((lit-exp 7)))) (proc-cont (rep-cont)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (eval-cont ((lambda-exp (ignore) ((lit-exp 7)))) (proc-cont (rep-cont)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))))) |(eval-expressions ((lambda-exp (ignore) ((lit-exp 7)))) (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (proc-cont (rep-cont))) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (lambda-exp (ignore) ((lit-exp 7))) (eval-cont () (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (proc-cont (rep-cont))) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (eval-cont () (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (proc-cont (rep-cont))) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) |(eval-expressions () (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (proc-cont (rep-cont)))) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (proc-cont (rep-cont)))) ()) |(apply-cont (cons-cont ((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (proc-cont (rep-cont))) ((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(apply-cont (proc-cont (rep-cont)) (((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(apply-cont (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) |(eval-expressions () (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont)))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont)))) ()) |(apply-cont (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) ((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(apply-cont (proc-cont (rep-cont)) ((closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(eval-expression (app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7))))) (rep-cont) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expressions ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))) (proc-cont (rep-cont)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (var-exp x) (eval-cont ((lambda-exp (ignore) ((lit-exp 7)))) (proc-cont (rep-cont)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (eval-cont ((lambda-exp (ignore) ((lit-exp 7)))) (proc-cont (rep-cont)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) |(eval-expressions ((lambda-exp (ignore) ((lit-exp 7)))) (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(eval-expression (lambda-exp (ignore) ((lit-exp 7))) (eval-cont () (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (eval-cont () (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (ignore) ((lit-exp 7)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr)))))) |(eval-expressions () (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont)))) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont)))) ()) |(apply-cont (cons-cont (closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) ((closure (ignore) ((lit-exp 7)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(apply-cont (proc-cont (rep-cont)) ((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (closure (ignore) ((lit-exp 7)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) |(eval-expression (lit-exp 7) (rep-cont) (((ignore) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1((closure (ignore) ((lit-exp 7)) (((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))) ((x) . #1(((acontinuation (eval-cont () (cons-cont (closure (x) ((app-exp ((var-exp x) (lambda-exp (ignore) ((lit-exp 7)))))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) (proc-cont (rep-cont))) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))))))) ((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |(apply-cont (rep-cont) 7) 7 >> (exit) |(eval-expression (exit-exp) (rep-cont) (((+ - * / display list cons car cdr) . #9((primitive +) (primitive -) (primitive *) (primitive /) (primitive display) (primitive list) (primitive cons) (primitive car) (primitive cdr))))) |# > (transcript-off)