Comment author: @Octachron

Another feature that might be worth documenting is the new naming scheme for GADT-introduced types in error messages, described as

• Strange type variable names in error messages (GADTs) #5780: Strange type variable names in error messages (GADTs)
  (only made the names more informative)

in the changelog.

Comment author: @Octachron

For ulterior references:

• "_ t" as a short-hand for "(_, ... _) t": commit a095100

• "(type a b)" as syntactic sugar for "(type a) (type b)": commit e83d8a6

• Short functor syntax "S -> T": commit d4bb184

• Field punning in object copying expressions "{< x = x; y = y >}": commit ec47e31

• Type annotations on record fields: commit 5af5540.

• Type annotations before the "->" in "fun -> ": commit c007c77 and b424516

• Hexadecimal notation for fp literals: commit b2449a3.

The documentation on

• Unreachable cases ("pat -> .")

is still missing.

Comment author: @alainfrisch

29c907d: add description of refutation cases
c7b21e1: nomenclature for existential type names

Comment author: @alainfrisch

Or listed items have been documented. There probably remains a lot of missing stuff, so I propose to keep this ticket open as reminder until the release. If someone feels like scanning the Changes file to extract the list of items to remain to be documented, this would be very useful.

Comment author: @Octachron

A possible item to document would be the new #help directive

• listing the available toplevel directives with #help #6113: Add descriptions to directives, and display them via #help
  (Nick Giannarakis, Berke Durak, Francis Southern and Gabriel Scherer)

Comment author: runhang

need to document this:

GPR234: Allow [] as a user-defined constructor

#234

Comment author: @damiendoligez

e92e57d: #112: octal escape sequences for char and string literals

Comment author: @damiendoligez

7715890: #234: Allow [] as a user-defined constructor

Comment author: @Octachron

Two more items documented:

• immediate attribute: commit 461b259
• help (and ppx) toplevel directive(s): commits 213f51a and 58c6347