Chapter 4, Metalinguistic Abstraction

Exercise 4.22


1
((let? exp) (analyze (let->combination exp)))

For testing it, I used the code given for analyzing evaluator here. This uses the simple evaluator. Thus in this exercise no other additions/changes from previous exercises were present in the simple evaluator. However, I had to add the let code from ex-4.8(named let) in the original version of evaluator for testing.