Michael,

Inline records were introduced in OCaml 4.03. Here’s a perma link for the changes entry in the compiler repo: https://github.com/ocaml/ocaml/blob/d8b6a1713b50132fc96b6cda40c8aad4ec4f8008/Changes#L3798-L3799

- Antonio

On Jun 24, 2019, at 2:09 PM, Michel Levy <michel.levy1948@gmail.com> wrote:

In "my" ocaml version, 4.05, the line A of {lit : literal; mutable scope
: int} of the type declaration

type ab_literal =
  | A of {lit : literal; mutable scope : int}
  | B of literal;;

is correct.

but in the ocaml version 4.02, the line A of {lit : literal; mutable
scope : int} is a syntax error.

Where can I find this error in the documentation and/or the 
announcement of this syntax change ?

--
courriel : michel.levy1948@gmail.com
mobile : 0659134253 web : http://michel.levy.imag.free.fr