ocaml/ocaml 4.01.0

OCaml 4.01.0

on GitHub

• 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.