Current limitations

• Erroneous IO operations may not raise the expected OCaml exceptions in all cases.
• Some printf-style formats are not available yet.
• The adaptation of OCaml libraries is incomplete. Check out the modules page that details the current status of OCaml libraries port for OCamIL.
• Link issue: the standalone (with no matching ml implementation file) mli interface files that declare user datatypes, must be passed to the OCamIL linker.
• There are some limitations on homonymous datatypes defined in different submodules of the same physical module (either ml or mli file).
• Strings are currently OCaml-compliant. They are very likely to be replaced by UTF16 strings in the next release.

Using Ojacaré.NET

About ocamilyacc

ocamilyacc is adapted from OCaml ocamlyacc.

The design of the OCaml parser generator makes assumptions about the internal representation of Caml sumtypes. Because this representation is slightly different between OCaml and OCamIL, ocamilyacc is provided to fit OCamIL's needs.