README.md 688 B
CiviCaml
CiviCaml is a compiler for the CiviC language, written in OCaml.
Issues & TODO
- Keep file content in buffer to prevent error messages from crashing when reading from stdin.
- Documentation for each phase, in ocamldoc format.
- Create automated testsuite runner.
- Assembly printer should print optimized instructions.
- Erronous array initialisation needs more insightfull error messages and array assignment needs better better type checking.
- 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).