Index of modules


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.