README.md 821 B
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
- Generated variables should have leading _ instead of containing a $. Typechecking should print multiple errors before quitting.
- 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).
- Replace VarDec with Var_dec etc? (to adhere to the coding style)