Supported language

The subset of OCaml covered by the compiler.

Base language

• lambda-calculus kernel
• polymorphic functions
• mutually recursive functions
• constructors and pattern matching
• records

Type definitions

• inductive types
• records (TODO: add polymorphic records)
• synonyms
• abstract types

Module system

• modules
• signatures
• TODO: functors

Exceptions

• top-level definitions
• raise of an explicit exception constructor (cannot raise an expression returning an exception)
• try-with (matching one exception constructor at a time)

References

• top-level definitions
• reads and writes with the explicit top-level reference name