A | |
| Ast |
This module describes all of the syntactic constructs of our
subset of OCaml, 3110Caml.
|
E | |
| Eval |
Contains the core functions to evaluate 3110Caml expressions.
|
| Exceptions |
Wrapper functions describing the different errors which may
occur during the interpretation of a 3110Caml program.
|
I | |
| IdMap [Ast] |
The
IdMap module represents a mapping from identifiers (variable
names) to (OCaml) values.
|
| Infer |
Core functionality for the semantic analysis phase of the interpreter.
|
M | |
| Main | Main is the entry point for the user in the 3110Caml interpreter.
|
P | |
| Printer |
Print functions for many of the data
types outlined in the
Ast module.
|
R | |
| Repl |
The
Repl module is the front-end for the interpreter.
|
S | |
| Streams |
The
Streams module is used to manipulate infinite sequences.
|
U | |
| Unify | Unify contains all of the machinery required to do
unification.
|
V | |
| VarSet [Infer] |
The
VarSet module is a
Set.S that is used to represent the set of represent the set of
type variables that are currently in use.
|