All Releases

OCaml 4.11.1

This page describe OCaml 4.11.1, released on Aug 31, 2020. It is a bug-fix release of OCaml 4.11.0.

This release is available as an opam package.

Bug fixes:

  • #9856, #9857: Prevent polymorphic type annotations from generalizing weak polymorphic variables. (Leo White, report by Thierry Martinez, review by Jacques Garrigue)

  • #9859, #9862: Remove an erroneous assertion when inferred function types appear in the right hand side of an explicit :> coercion (Florian Angeletti, report by Jerry James, review by Thomas Refis)