Here is a new and improved Makefile by John Ratcliff.
Commands to extract, compile, and run are the same as for the previous assignment.
The relevant files for the assignment are:
This program will evaluate simple Scheme expressions. As in the previous assignment, your code will start with the output of the parser. See absyn.ml for the type information of these expressions. Currently, interpret.ml contains most of the code needed to evaluate the expressions, with only a few cases left to be done.
The interface file, interpret.mli, gives the types of the procedures used in interpret.ml.
For this assignment, you should do the following.
eval
, the static scope interpreter.
evald
that will use dynamic scope,
rather than static scope as before.
letrec
require a small
change to the interface file interp.mli. Feel free to use
modify the interface in that case.
Turn in the file interpret.ml on the electronic submission page.