OCaml

OCaml is a functional programming language. Its output is bytecode.

This is an exploration on how to compile this bytecode.

Produce bytecode for example by:

$ ocamlc -o test.byte test.ml
$ python -m ppci.cli.ocaml disassemble test.byte
$ FUTURE: python -m ppci.cli.ocaml opt test.byte -m m68k

Module

ppci.lang.ocaml.read_file(filename)

Read a cmo or bytecode file.

ppci.lang.ocaml.ocaml_to_ir(module)

Transform ocaml bytecode into ir-code.