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