Compiler Pipeline

Source files
  |
  | parsing (directory parsing/)
  |
  v
untyped parse tree (file parsing/parsetree.mli)
  |
  | type inference and checking (directory typing/)
  |
  v
typed abstract syntax tree (file typing/typedtree.mli)
  |
  | high-level compilation: translation of pattern-matching,
  | elimination of modules, classes, objects, etc
  | (directory bytecomp/)
  v
the "lambda" intermediate language (file bytecomp/lambda.mli)
  |
  |
  ├────────> the bytecode compiler (directory bytecomp/)
  │
  | low-level compilation: inlining, uncurrying, data representation,
  | register allocation, production of assembly code
  │ (directory asmcomp/)
  v
native executable