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 we adhere to
[http://wiki.xen.org/wiki/OCaml_Best_Practices_for_Developers#Use_of_open].


Issues & TODO
-------------

- Documentation for each phase, in ocamldoc format.
- Typechecking now gives an error when integers are not in the 32-bit range, as
  the reference compiler implements it. However, 64-bit should imo also be
  supported (using Nativeint instead of Int32).