CiviCaml

CiviCaml is a compiler for the CiviC language, written in OCaml.

Documentation

make doc generates HTML documentation, which is accessible through doc/civicc.index.html.

The coding style adheres to http://wiki.xen.org/wiki/OCaml_Best_Practices_for_Developers#Use_of_open.

The Makefile uses [OCamlMakefile(https://bitbucket.org/mmottl/ocaml-makefile/).

Issues & TODO

Context analysis and typechecking phases should print multiple errors before quitting.
Typechecking now gives an error when integers are not in the 32-bit range. Is this correct?
Replace VarDec with Var_dec etc? (to adhere to the coding style)