COM 1358 Assignment #5.
Due: Tuesday, 16 May 2000

The interpreter of Figure 3.10 can be loaded into an implementation
of R5RS Scheme as follows.

    % scheme
    > (load "/course/com1358/pub/r5rs.scm")
    > (load "/course/com1358/pub/define-datatype.scm")
    > (load "/course/com1358/pub/sllgen.scm")
    > (load "/course/com1358/pub/assignment5.scm")

If you are using Chez Scheme, Larceny, or DrScheme, you can substitute
"chez.scm", "larceny.scm", or "drscheme.scm" for "r5rs.scm".  If you
are using DrScheme, you may also have to substitute
"define-datatype-drscheme.scm" for "define-datatype.scm".

Modify the interpreter of Figure 3.10 by doing the following exercises:

    Exercise 3.5.2  (detect wrong number of arguments)
    Exercise 3.7.3  (add compound expressions)
    Exercise 3.7.8  (add letmutable)
    Exercise 3.7.10 (use flat closures)
    Exercise 3.8.6  (implement call-by-value-result)

Hand in a hard copy of the modified interpreter.  You may omit any
top-level definitions that you did not modify while doing the
exercises.