Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
taddeus
/
civicaml
1
0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Strom: d2b685f678
Branche Tagy
civicaml
/
README.md

README.md 498 B
História Raw

CiviCaml

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

Issues & TODO

  • Documentation for each phase, in ocamldoc format.
  • 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).