• It is now possible to have several variant constructors or record fields of the same name in scope, and type information will be used to disambiguate which one is used -- instead of always using the last one. See this post for a more detailed description of the feature.

• New warnings can be activated to warn about identifiers that are used after having been shadowed by an open construct. The open keyword can be written open! to silence this warning (as method! silences the method warning).

• The compiler now suggests possible typos on "unbound identifier" errors.

• Infix application operators (|>) and (@@) are added to Pervasives.

• The -short-path option changes the way the type-checker prints types to pick a short representation (eg. string instead of StringSet.elt).

• This release saw a lot of polishing with sets of changes in many places: the type system for GADTs, compilation speed with -bin-annot, ocamlbuild, the test suite, low-level optimizations, etc.

See also: detailed list of changes.