call/cc
.
call/cc
(exceptions really).
sinterpret.ml
discussed
in class on Sep 31, 2002.
interpret.ml
discussed in class
on Sep 19, 2002. The error at the end was fixed by the following declaration:
type thunk = Thunk of exp * env and env = thunk Env.twhich captures the recursive dependency between the environment and the things we put in the environment explicitly. Ocaml cannot figure out such dependencies without explicit declarations. I will explain this in class next Tuesday.
calc.ml