Lesson Plan - 6.001 SP04 - recitation 26

explicit control evaluator

eceval uses only 7 registers, what are they?

walk through the execution of eceval, perhaps for a simple expression
like:

(if (= x 0)
    'zero
    (lambda (y) 7))


adding let

stolen from: combination and application

1. (save exp)
2. (save proc)
3. (reg proc) (reg argl) (reg env)
4. (reg exp)

bug: no save/restore of env around ev-last-binding