A OCaml subset.
- parser
- alpha conversion
- type inference
- monomorphize
- closure conversion
- optimization path
- code generation
- link
- poly types and value restriction (not relaxed value restriction)
- exception
- monomorphize
- user defined type
- code inlining
- constant value folding
- direct calling function
- dead code elimination
This is free and unencumbered software released into the public domain.