Merge pull request #1241 from gasche/sync-trunk-Changes-with-4.05-Changes

Changes: synchronize trunk with the 4.05 branch

1 files changed, 171 insertions, 156 deletions

diff --git a/Changes b/Changes
index 8cf436104e..241db84d73 100644
--- a/Changes
+++ b/Changes
@@ -11,7 +11,7 @@ Working version
 
 ### Code generation and optimizations:
 
-- PR#5324, GPR#375: An alternative Linear Scan register allocator for
+- MPR#5324, GPR#375: An alternative Linear Scan register allocator for
   ocamlopt, activated with the -linscan command-line flag. This
   allocator represents a trade-off between worse generated code
   performance for higher compilation speed (especially interesting in
@@ -24,16 +24,19 @@ Working version
   bundles.
   (whitequark)
 
-* GPR#659: Remove support for SPARC native code generation
-  (Mark Shinwell)
+- MPR#7447, GPR#995: incorrect code generation for nested recursive bindings
+  (Leo White and Jeremy Yallop, report by Stephen Dolan)
 
 - MPR#7501, GPR#1089: Consider arrays of length zero as constants
-- PR#7501, GPR#1089: Consider arrays of length zero as constants
+- MPR#7501, GPR#1089: Consider arrays of length zero as constants
   when using Flambda.
   (Pierre Chambart, review by Mark Shinwell and Leo White)
 
-- GPR#1150: Fix typo in arm64 assembler directives
-  (KC Sivaramakrishnan)
+- MPR#7531, GPR#1162: Erroneous code transformation at partial applications
+  (Mark Shinwell)
+
+* GPR#659: Remove support for SPARC native code generation
+  (Mark Shinwell)
 
 - GPR#1143: tweaked several allocation functions in the runtime by
   checking for likely conditions before unlikely ones and eliminating
@@ -54,17 +57,21 @@ Working version
 - GRP#1119: Change Set (private) type to inline records.
   (Albin Coquereau)
 
-- PR#1771, PR#7309, GPR#1026: Add update to maps. Allows to update a
+- MPR#1771, MPR#7309, GPR#1026: Add update to maps. Allows to update a
   binding in a map or create a new binding if the key had no binding
   (Sébastien Briais, review by Daniel Buenzli, Alain Frisch and
   Gabriel Scherer)
 
-- PR#7515, GPR#1147: Arg.align now optionally uses the tab character '\t' to
+- MPR#7515, GPR#1147: Arg.align now optionally uses the tab character '\t' to
   separate the "unaligned" and "aligned" parts of the documentation string. If
   tab is not present, then space is used as a fallback. Allows to have spaces in
   the unaligned part, which is useful for Tuple options.
   (Nicolas Ojeda Bar, review by Alain Frisch and Gabriel Scherer)
 
+- GPR#997, GPR#1077: Deprecate Bigarray.*.map_file and add Unix.map_file as a
+  first step towards moving Bigarray to the stdlib
+  (Jérémie Dimino and Xavier Leroy)
+
 - GPR#1034: Add List.init
   (Richard Degenne, review by David Allsopp, Thomas Braibant, Florian
   Angeletti, Gabriel Scherer, Nathan Moreau, Alain Frisch)
@@ -100,32 +107,32 @@ Working version
 
 ### Manual and documentation:
 
-- PR#6548: remove obsolete limitation in the description of private
+- MPR#6548: remove obsolete limitation in the description of private
   type abbreviations
   (Florian Angeletti, suggestion by Leo White)
 
-- PR#6676, GPR#1110: move record notation to tutorial
+- MPR#6676, GPR#1110: move record notation to tutorial
   (Florian Angeletti, review by Gabriel Scherer)
 
-- PR#6676, GPR#1112: move local opens to tutorial
+- MPR#6676, GPR#1112: move local opens to tutorial
   (Florian Angeletti)
 
-- PR#6676, GPR#1153: move overriding class definitions to reference
+- MPR#6676, GPR#1153: move overriding class definitions to reference
   manual and tutorial
   (Florian Angeletti)
 
-- PR#6709: document the associativity and precedence level of
+- MPR#6709: document the associativity and precedence level of
   pervasive operators
   (Florian Angeletti, review by David Allsopp)
 
-- PR#7254, GPR#1096: Rudimentary documentation of ocamlnat
+- MPR#7254, GPR#1096: Rudimentary documentation of ocamlnat
   (Mark Shinwell)
 
-- PR#7507: Align the description of the printf conversion
+- MPR#7507: Align the description of the printf conversion
   specification "%g" with the ISO C90 description.
   (Florian Angeletti)
 
-- PR#7551, GPR#1194 : make the final ";;" potentially optional in
+- MPR#7551, GPR#1194 : make the final ";;" potentially optional in
   caml_example
   (Florian Angeletti, review and suggestion by Gabriel Scherer)
 
@@ -154,26 +161,36 @@ Working version
   linked names not namespaced with caml_
   (Stephen Dolan)
 
-- PR#6928: ocamldoc, do not introduce an empty <h1> in index.html when
+- MPR#6928: ocamldoc, do not introduce an empty <h1> in index.html when
   no -title has been provided
   (Pierre Boutillier)
 
-* PR#7351: ocamldoc, use semantic tags rather than <br> tags in the html
+* MPR#7351: ocamldoc, use semantic tags rather than <br> tags in the html
   backend
   (Florian Angeletti, request and review by Daniel Bünzli )
 
-* PR#7352,PR#7353: ocamldoc, better paragraphs in html output
+* MPR#7352,PR#7353: ocamldoc, better paragraphs in html output
   (Florian Angeletti, request by Daniel Bünzli)
 
-- PR#7521, GPR#1159: ocamldoc, end generated latex file with a new line
+- MPR#7521, GPR#1159: ocamldoc, end generated latex file with a new line
   (Florian Angeletti)
 
+- GPR#1012: ocamlyacc, fix parsing of raw strings and nested comments, as well
+  as the handling of ' characters in identifiers.
+  (Demi Obenour)
+
+- GPR#1036: ocamlcmt (tools/read_cmt) is installed, converts .cmt to .annot
+  (Fabrice Le Fessant)
+
 - GPR#1180: Add support for recording numbers of direct and indirect
   calls over the lifetime of a program when using Spacetime profiling
   (Mark Shinwell)
 
 ### Compiler distribution build system
 
+- MPR#6373, GPR#1093: Suppress trigraph warnings from macOS assembler
+  (Mark Shinwell)
+
 - GPR#558: enable shared library and natdynlink support on more Linux
   platforms
   (Felix Janda, Mark Shinwell)
@@ -181,7 +198,7 @@ Working version
 * GPR#1104: remove support for the NeXTStep platform
   (Sébastien Hinderer)
 
-- PR#1130: enable detection of IBM XL C compiler (one need to run configure
+- GPR#1130: enable detection of IBM XL C compiler (one need to run configure
   with "-cc <path to xlc compiler>"). Enable shared library support for
   bytecode executables on AIX/xlc (tested on AIX 7.1, XL C 12).
   To enable 64-bit, run both "configure" and "make world" with OBJECT_MODE=64.
@@ -192,13 +209,17 @@ Working version
 
 ### Internal/compiler-libs changes:
 
-- PR#6826, GPR#828, GPR#834: improve compilation time for open
+- MPR#6826, GPR#828, GPR#834: improve compilation time for open
   (Alain Frisch, review by Frédéric Bour and Jacques Garrigue)
 
-- PR#7514, GPR#1152: add -dprofile option, similar to -dtimings but
+- MPR#7514, GPR#1152: add -dprofile option, similar to -dtimings but
   also displays memory allocation and consumption
   (Valentin Gatien-Baron, report by Gabriel Scherer)
 
+- GPR#406: remove polymorphic comparison for Types.constructor_tag in compiler
+  (Dwight Guth, review by Gabriel Radanne, Damien Doligez, Gabriel Scherer,
+   Pierre Chambart, Mark Shinwell)
+
 - GPR#1032: display the output of -dtimings as a hierarchy
   (Valentin Gatien-Baron, review by Gabriel Scherer)
 
@@ -218,55 +239,56 @@ Working version
    Gabriel Radanne and Gabriel Scherer)
 
 - PR#5927: Type equality broken for conjunctive polymorphic variant tags
+- MPR#5927: Type equality broken for conjunctive polymorphic variant tags
   (Jacques Garrigue, report by Leo White)
 
-- PR#6587: only elide Pervasives from printed type paths in unambiguous context
+- MPR#6587: only elide Pervasives from printed type paths in unambiguous context
   (Florian Angeletti and Jacques Garrigue)
 
-- PR#6934: nonrec misbehaves with GADTs
+- MPR#6934: nonrec misbehaves with GADTs
   (Jacques Garrigue, report by Markus Mottl)
 
-- PR#7070, GPR#1139: Unexported values can cause non-generalisable variables
+- MPR#7070, GPR#1139: Unexported values can cause non-generalisable variables
   error
   (Leo White)
 
-- PR#7261: Warn on type constraints in GADT declarations
+- MPR#7261: Warn on type constraints in GADT declarations
   (Jacques Garrigue, report by Fabrice Le Botlan)
 
-- PR#7321: Private type in signature clashes with type definition via
+- MPR#7321: Private type in signature clashes with type definition via
   functor instantiation
   (Jacques Garrigue, report by Markus Mottl)
 
-- PR#7372, GPR#834: fix type-checker bug with GADT and inline records
+- MPR#7372, GPR#834: fix type-checker bug with GADT and inline records
   (Alain Frisch, review by Frédéric Bour and Jacques Garrigue)
 
-- PR#7344: Inconsistent behavior with type annotations on let
+- MPR#7344: Inconsistent behavior with type annotations on let
   (Jacques Garrigue, report by Leo White)
 
-- PR#7468: possible GC problem in caml_alloc_sprintf
+- MPR#7468: possible GC problem in caml_alloc_sprintf
   (Xavier Leroy, discovery by Olivier Andrieu)
 
-- PR#7496: Fixed conjunctive polymorphic variant tags do not unify
+- MPR#7496: Fixed conjunctive polymorphic variant tags do not unify
   with themselves
   (Jacques Garrigue, report by Leo White)
 
-- PR#7506: pprintast ignores attributes in tails of a list
+- MPR#7506: pprintast ignores attributes in tails of a list
   (Alain Frisch, report by Kenichi Asai and Gabriel Scherer)
 
-- PR#7543: short-paths printtyp can fail on packed type error messages
+- MPR#7543: short-paths printtyp can fail on packed type error messages
   (Florian Angeletti)
 
 - GPR#1155: Fix a race condition with WAIT_NOHANG on Windows
   (Jérémie Dimino and David Allsopp)
 
-- PR#7513: List.compare_length_with mishandles negative numbers / overflow
+- MPR#7513: List.compare_length_with mishandles negative numbers / overflow
   (Fabrice Le Fessant, report by Jeremy Yallop)
 
-- PR#7531a: Default argument is not evaluated even after passing a
+- MPR#7531a: Default argument is not evaluated even after passing a
   non-labeled argument
   (Jacques Garrigue, report by Stephen Dolan)
 
-- PR#7563, GPR#1210: code generation bug when a module alias and
+- MPR#7563, GPR#1210: code generation bug when a module alias and
   an extension constructor have the same name in the same module
   (Gabriel Scherer, report by Manuel Fähndrich,
    review by Jacques Garrigue and Leo White)
@@ -304,6 +326,11 @@ OCaml 4.05.0 (TBD):
 ----------------------------
 OCaml 4.05.0 (13 Jul 2017):
 ---------------------------
+- GPR#1073: Remove statically allocated compare stack.
+  (Stephen Dolan)
+
+OCaml 4.05.0 (13 Jul 2017):
+---------------------------
 
 (Changes that can break existing programs are marked with a "*")
 
@@ -314,12 +341,16 @@ OCaml 4.05.0 (13 Jul 2017):
 - MPR#7201, GPR#954: Correct wrong optimisation of "0 / <expr>"
   and "0 mod <expr>" in the case when <expr> was a non-constant
   evaluating to zero
-  (Mark Shinwell)
+  (Mark Shinwell, review by Gabriel Scherer, Leo White and Xavier Leroy)
 
 - MPR#7357, GPR#832: Improve compilation time for toplevel
   include(struct ... end : sig ... end)
   (Alain Frisch, report by Hongbo Zhang, review by Jacques Garrigue)
 
+- MPR#7533, GPR#1173: Correctly perform side effects for certain
+  cases of "/" and "mod"
+  (Mark Shinwell, report by Jan Mitgaard)
+
 - GPR#504: Instrumentation support for fuzzing with afl-fuzz.
   (Stephen Dolan, review by Alain Frisch, Pierre Chambart, Mark
   Shinwell, Gabriel Scherer and Damien Doligez)
@@ -343,13 +374,11 @@ OCaml 4.05.0 (13 Jul 2017):
 - PR#7533, GPR#1173: Correctly perform side effects for certain
   cases of "/" and "mod"
   (Mark Shinwell, report by Jan Mitgaard)
+- GPR#1150: Fix typo in arm64 assembler directives
+  (KC Sivaramakrishnan)
 
 ### Runtime system:
 
-- MPR#7557, GPR#1213: More security for getenv
-  (Damien Doligez, reports by Seth Arnold and Eric Milliken, review by
-  Xavier Leroy, David Allsopp, Stephen Dolan, Hannes Mehnert)
-
 - MPR#385, GPR#953: Add caml_startup_exn
   (Mark Shinwell)
 
@@ -357,6 +386,7 @@ OCaml 4.05.0 (13 Jul 2017):
   (Mark Shinwell)
 
 - PR#7423, GPR#946: expose new exception-raising functions
+- MPR#7423, GPR#946: expose new exception-raising functions
   `void caml_{failwith,invalid_argument}_value(value msg)`
   in addition to
   `void caml_{failwith,invalid_argument}(char const *msg)`.
@@ -365,6 +395,10 @@ OCaml 4.05.0 (13 Jul 2017):
   passed to the new functions are handled by the garbage collector.
   (Gabriel Scherer, review by Mark Shinwell, request by Immanuel Litzroth)
 
+- MPR#7557, GPR#1213: More security for getenv
+  (Damien Doligez, reports by Seth Arnold and Eric Milliken, review by
+  Xavier Leroy, David Allsopp, Stephen Dolan, Hannes Mehnert)
+
 - GPR#795: remove 256-character limitation on Sys.executable_name
   (Xavier Leroy)
 
@@ -378,16 +412,17 @@ OCaml 4.05.0 (13 Jul 2017):
 - GPR#891: Use -fno-builtin-memcmp when building runtime with gcc.
   (Leo White)
 
-- GPR#1073: Remove statically allocated compare stack.
-  (Stephen Dolan)
-
 ### Type system:
 
-- PR#6608, GPR#901: unify record types when overriding all fields
+- MPR#6608, GPR#901: unify record types when overriding all fields
   (Tadeu Zagallo and Gabriel Scherer, report by Jeremy Yallop,
   review by David Allsopp, Jacques Garrigue)
 
-* PR#7414, GPR#929: Soundness bug with non-generalized type variables and functors.
+* MPR#7414, GPR#929: Soundness bug with non-generalized type variables and
+  functors.
+  (compatibility: some code using module-global mutable state will
+   fail at compile-time and is fixed by adding extra annotations;
+   see the Mantis and Github discussions.)
   (Jacques Garrigue, report by Leo White)
 * PR#7414, GPR#929: Soundness bug with non-generalized type variables and
   functors.
@@ -395,7 +430,7 @@ OCaml 4.05.0 (13 Jul 2017):
 
 ### Compiler user-interface and warnings:
 
-- PR#7050, GPR#748 GPR#843 GPR#864: new `-args/-args0 <file>` parameters to
+- MPR#7050, GPR#748 GPR#843 GPR#864: new `-args/-args0 <file>` parameters to
   provide extra command-line arguments in a file -- see documentation.
   User programs may implement similar options using the new `Expand`
   constructor of the `Arg` module.
@@ -403,21 +438,22 @@ OCaml 4.05.0 (13 Jul 2017):
    and Damien Doligez, discussion with Alain Frisch and Xavier Leroy,
    feature request from the Coq team)
 
-- PR#7137, GPR#960: "-open" command line flag now accepts a module path
-  (not a module name) (Arseniy Alekseyev and Leo White)
+- MPR#7137, GPR#960: "-open" command line flag now accepts
+  a module path (not a module name)
+  (Arseniy Alekseyev and Leo White)
 
-- PR#7172, GPR#970: add extra (ocamlc -config) options
+- MPR#7172, GPR#970: add extra (ocamlc -config) options
   int_size, word_size, ext_exe
   (Gabriel Scherer, request by Daniel Bünzli)
 
-- PR#7315, GPR#736: refine some error locations
+- MPR#7315, GPR#736: refine some error locations
   (Gabriel Scherer and Alain Frisch, report by Matej Košík)
 
-- PR#7473, GPR#1025: perform proper globbing for command-line arguments on
+- MPR#7473, GPR#1025: perform proper globbing for command-line arguments on
   Windows
   (Jonathan Protzenko)
 
-- PR#7479: make sure "ocamlc -pack" is only given .cmo and .cmi files,
+- MPR#7479: make sure "ocamlc -pack" is only given .cmo and .cmi files,
   and that "ocamlopt -pack" is only given .cmx and .cmi files.
   (Xavier Leroy)
 
@@ -429,7 +465,7 @@ OCaml 4.05.0 (13 Jul 2017):
 
 - GPR#911: ocamlc/ocamlopt do not pass warnings-related options to C
   compiler when called to compile third-party C source files
-  (Sébastien Hinderer)
+  (Sébastien Hinderer, review by Adrien Nader and David Allsopp)
 
 - GPR#915: fix -dsource (pprintast.ml) bugs
   (Runhang Li, review by Alain Frisch)
@@ -451,6 +487,7 @@ OCaml 4.05.0 (13 Jul 2017):
   as ocamldep. Remove any use of ocamldep to build the distribution.
 - GPR#1015: add option "-plugin PLUGIN" to ocamldep too. Use compilerlibs
   to build ocamldep.
+  to build ocamldep.
   (Fabrice Le Fessant)
 
 - GPR#1027: various improvements to -dtimings, mostly including time
@@ -466,14 +503,15 @@ OCaml 4.05.0 (13 Jul 2017):
 
 ### Standard library:
 
-- PR#6975, GPR#902: Truncate function added to stdlib Buffer module
+- MPR#6975, GPR#902: Truncate function added to stdlib Buffer module
   (Dhruv Makwana, review by Alain Frisch and Gabriel Scherer)
 
-- PR#7279 GPR#710: `Weak.get_copy` `Ephemeron.*_copy` doesn't copy anymore custom blocks
+- MPR#7279, GPR#710: `Weak.get_copy` `Ephemeron.*_copy` doesn't copy
+  custom blocks anymore
   (François Bobot, Alain Frisch, bug reported by Martin R. Neuhäußer,
   review by Thomas Braibant and Damien Doligez)
 
-* PR#7500, GPR#1081: Remove Uchar.dump
+* MPR#7500, GPR#1081: Remove Uchar.dump
   (Daniel Bünzli)
 
 - PR#7279 GPR#710: `Weak.get_copy` `Ephemeron.*_copy` doesn't copy
@@ -486,13 +524,13 @@ OCaml 4.05.0 (13 Jul 2017):
 
 - GPR#760: Add a functions List.compare_lengths and
   List.compare_length_with to avoid full list length computations
-  (Fabrice Le Fessant)
+  (Fabrice Le Fessant, review by Leo White, Josh Berdine and Gabriel Scherer)
 
 - GPR#778: Arg: added option Expand that allows to expand a string
   argument to a string array of new arguments
-  (Bernhard Schommer)
+  (Bernhard Schommer, review by Gabriel Scherer and Jérémie Dimino)
 
-- GPR#849: Exposed Spacetime.enabled value
+- GPR#849: Expose a Spacetime.enabled value
   (Leo White)
 
 - GPR#885: Option-returning variants of stdlib functions
@@ -508,9 +546,11 @@ OCaml 4.05.0 (13 Jul 2017):
   ListLabels, MoreLabels, StringLabels so they are compatible with
   non-labeled counterparts. Also add missing @@ocaml.deprecated attributes
   in StringLabels and BytesLabels.
-  (Roma Sokolov)
+  (Roma Sokolov, review by Gabriel Scherer, Jacques Garrigue,
+   Gabriel Radanne, Alain Frisch)
 
-- GPR#999: Arg, do not repeat thrice usage_msg when reporting an error
+- GPR#999: Arg, do not repeat the usage message thrice when reporting an error
+  (this was a regression in 4.03)
   (Florian Angeletti, review by Gabriel Scherer)
 
 - GPR#1042: Fix escaping of command-line arguments in
@@ -520,7 +560,7 @@ OCaml 4.05.0 (13 Jul 2017):
 
 ### Debugging and profiling:
 
-- PR#7258: ocamldebug's "install_printer" command had problems with
+- MPR#7258: ocamldebug's "install_printer" command had problems with
   module aliases
   (Xavier Leroy)
 
@@ -531,16 +571,25 @@ OCaml 4.05.0 (13 Jul 2017):
 
 ### Manual and documentation:
 
-- PR#6597, GPR#1030: add forward references to language extensions
+- MPR#6597, GPR#1030: add forward references to language extensions
   that extend non-terminal symbols in the language reference section.
   (Florian Angeletti, review by Gabriel Scherer)
 
-- PR#7497, GPR#1095: manual, enable numbering for table of contents
+- MPR#7497, GPR#1095: manual, enable numbering for table of contents
   (Florian Angeletti, request by Daniel Bünzli)
 
+- MPR#7539, GPR#1181: manual, update dead links in ocamldoc chapter
+  (Florian Angeletti)
+
 - GPR#633: manpage and manual documentation for the `-opaque` option
   (Konstantin Romanov, Gabriel Scherer, review by Mark Shinwell)
 
+- GPR#751, GPR#925: add a HACKING.adoc file to contain various
+  tips and tricks for people hacking on the repository. See also
+  CONTRIBUTING.md for advice on sending contributions upstream.
+  (Gabriel Scherer and Gabriel Radanne, review by David Allsopp,
+  inspired by John Whitington)
+
 - GPR#916: new tool lintapidiff, use it to update the manual with
   @since annotations for API changes introduced between 4.00-4.05.
   (Edwin Török, review by Gabriel Scherer, discussion with Alain Frisch,
@@ -571,20 +620,14 @@ OCaml 4.05.0 (13 Jul 2017):
   (Gabriel Scherer, request by Matthew Wahab in GPR#1066,
    review by Florian Angeletti)
 
-- add a HACKING.adoc file to contain various tips and tricks for
-  people hacking on the repository. See also CONTRIBUTING.md for
-  advice on sending contributions upstream.
-  (Gabriel Scherer and Gabriel Radanne, review by David Allsopp,
-  inspired by John Whitington)
-
 ### Other libraries:
 
-- PR#7158: Event.sync, Mutex.create, Condition.create cause too many GCs.
+- MPR#7158: Event.sync, Mutex.create, Condition.create cause too many GCs.
   The fix is to no longer consider mutexes and condition variables
   as rare kernel resources.
   (Xavier Leroy)
 
-- PR#7264: document the different behaviors of Unix.lockf under POSIX
+- MPR#7264: document the different behaviors of Unix.lockf under POSIX
   and under Win32.
   (Xavier Leroy, report by David Allsopp)
 
@@ -593,9 +636,9 @@ OCaml 4.05.0 (13 Jul 2017):
   (Laurent Mazare,
    review by Gabriel Scherer, Alain Frisch and Hezekiah M. Carty)
 
-* PR#7342, GPR#797: fix Unix.read on pipes with no data left on Windows
+* MPR#7342, GPR#797: fix Unix.read on pipes with no data left on Windows
   it previously raised an EPIPE error, it now returns 0 like other OSes
-  (Jonathan Protzenko)
+  (Jonathan Protzenko, review by Andreas Hauptmann and Damien Doligez)
 
 - GPR#650: in the Unix library, add `?cloexec:bool` optional arguments to
   functions that create file descriptors (`dup`, `dup2`, `pipe`, `socket`,
@@ -605,7 +648,8 @@ OCaml 4.05.0 (13 Jul 2017):
   reducing the risk of race conditions with `exec` or `create_process`
   calls running in other threads, and improving security.  Also: add a
   `O_KEEPEXEC` flag for `openfile` by symmetry with `O_CLOEXEC`.
-  (Xavier Leroy)
+  (Xavier Leroy, review by Mark Shinwell, David Allsopp and Alain Frisch,
+   request by Romain Beauxis)
 
 - GPR#996: correctly update caml_top_of_stack in systhreads
   (Fabrice Le Fessant)
@@ -617,17 +661,17 @@ OCaml 4.05.0 (13 Jul 2017):
 
 ### Toplevel:
 
-- PR#7060, GPR#1035: Print exceptions in installed custom printers
+- MPR#7060, GPR#1035: Print exceptions in installed custom printers
   (Tadeu Zagallo, review by David Allsopp)
 - PR#7060, GPR#1035: Print exceptions in installed custom printers
   (Tadeu Zagallo, review by David Allsopp)
 
 ### Tools:
 
-- PR#5163: ocamlobjinfo, dump globals defined by bytecode executables
+- MPR#5163: ocamlobjinfo, dump globals defined by bytecode executables
   (Stéphane Glondu)
 
-- PR#7333: ocamldoc, use the first sentence of text file as
+- MPR#7333: ocamldoc, use the first sentence of text file as
   a short description in overviews.
   (Florian Angeletti)
 
@@ -639,10 +683,6 @@ OCaml 4.05.0 (13 Jul 2017):
   to solve ocamlbuild+doc usability issue (ocaml/ocamlbuild#79)
   (Gabriel Scherer, review by Florian Angeletti, discussion with Daniel Bünzli)
 
-* GPR#1012: ocamlyacc, fix parsing of raw strings and nested comments, as well
-  as the handling of ' characters in identifiers.
-  (Demi Obenour)
-
 - GPR#1017: ocamldoc, add an option to detect code fragments that could be
   transformed into a cross-reference to a known element.
   (Florian Angeletti, review and suggestion by David Allsopp)
@@ -650,20 +690,22 @@ OCaml 4.05.0 (13 Jul 2017):
 - clarify ocamldoc text parsing error messages
   (Gabriel Scherer)
 
-- GPR#1036: ocamlcmt (tools/read_cmt) is installed, converts .cmt to .annot
-  (Fabrice Le Fessant)
-
 ### Compiler distribution build system:
 
 ### Compiler distribution build system:
 
 - PR#7377: remove -std=gnu99 for newer gcc versions
+- MPR#7377: remove -std=gnu99 for newer gcc versions
   (Damien Doligez, report by ygrek)
 
 - PR#7452, GPR#1228: tweak GCC options to try to avoid the
   Skylake/Kaby lake bug
   (Damien Doligez, review by David Allsopp, Xavier Leroy and Mark Shinwell)
 
+- MPR#7452, GPR#1228: tweak GCC options to try to avoid the
+  Skylake/Kaby lake bug
+  (Damien Doligez, review by David Allsopp, Xavier Leroy and Mark Shinwell)
+
 - GPR#693: fail on unexpected errors or warnings within caml_example
   environment.
   (Florian Angeletti)
@@ -697,7 +739,7 @@ OCaml 4.05.0 (13 Jul 2017):
 
 - GPR#932: install ocaml{c,lex}->ocaml{c,lex}.byte symlink correctly
   when the opt target is built but opt.opt target is not.
-  (whitequark)
+  (whitequark, review by Gabriel Scherer)
 
 - GPR#935: allow build in Android's termux
   (ygrek, review by Gabriel Scherer)
@@ -804,26 +846,25 @@ The complete list of changes is listed below.
 
 - GPR#881: change `Outcometree.out_variant` to be more general.
   `Ovar_name of out_ident * out_type list` becomes `Ovar_type of out_type`.
-  (Valentin Gatien-Baron)
+  (Valentin Gatien-Baron, review by Leo White)
 
 - GPR#908: refactor PIC-handling in the s390x backend
-  (Gabriel Scherer)
+  (Gabriel Scherer, review by Xavier Leroy and Mark Shinwell)
 
 ### Bug fixes
 
-- PR#5115: protect all byterun/fail.c functions against
+- MPR#5115: protect all byterun/fail.c functions against
   uninitialized caml_global_data (only changes the bytecode behavior)
   (Gabriel Scherer, review by Xavier Leroy)
 
-- PR#6136, GPR#967: Fix Closure so that overapplication evaluation order
+- MPR#6136, GPR#967: Fix Closure so that overapplication evaluation order
   matches the bytecode compiler and Flambda.
   (Mark Shinwell, report by Jeremy Yallop, review by Frédéric Bour)
 
-- PR#6550, GPR#1094: Allow creation of empty .cmxa files on macOS
-- PR#6373, GPR#1093: Suppress trigraph warnings from macOS assembler
+- MPR#6550, GPR#1094: Allow creation of empty .cmxa files on macOS
   (Mark Shinwell)
 
-- PR#6594, GPR#955: Remove "Istore_symbol" specific operation on x86-64.
+- MPR#6594, GPR#955: Remove "Istore_symbol" specific operation on x86-64.
   This is more robust and in particular avoids assembly failures on Win64.
   (Mark Shinwell, review by Xavier Leroy, testing by David Allsopp and
    Olivier Andrieu)
@@ -842,62 +883,62 @@ The complete list of changes is listed below.
 
 - PR#6903: Unix.execvpe doesn't change environment on Cygwin
   (Xavier Leroy)
+- MPR#6903: Unix.execvpe doesn't change environment on Cygwin
+  (Xavier Leroy, report by Adrien Nader)
 
-- PR#6987: Strange error message probably caused by universal variable escape
-  (with polymorphic variants)
-  (report by Leo White)
+- MPR#6987: Strange error message probably caused by
+  universal variable escape (with polymorphic variants)
+  (Jacques Garrigue, report by Mikhail Mandrykin and Leo White)
 
-- PR#7216, GPR#949: don't require double parens in Functor((val x))
+- MPR#7216, GPR#949: don't require double parens in Functor((val x))
   (Jacques Garrigue, review by Valentin Gatien-Baron)
 
-- PR#7331: ocamldoc, avoid infinite loop in presence of self alias,
+- MPR#7331: ocamldoc, avoid infinite loop in presence of self alias,
   i.e. module rec M:sig end = M
   (Florian Angeletti, review Gabriel Scherer)
 
-- PR#7346, GPR#966: Fix evaluation order problem whereby expressions could
+- MPR#7346, GPR#966: Fix evaluation order problem whereby expressions could
   be incorrectly re-ordered when compiling with Flambda.  This also fixes one
   example of evaluation order in the native code compiler not matching the
   bytecode compiler (even when not using Flambda)
   (Mark Shinwell, Leo White, code review by Pierre Chambart)
 
-- PR#7348: Private row variables can escape their scope
+- MPR#7348: Private row variables can escape their scope
   (Jacques Garrigue, report by Leo White)
 
-- PR#7407: Two not-quite-standard C idioms rejected by SUNWSPro compilers
+- MPR#7407: Two not-quite-standard C idioms rejected by SUNWSPro compilers
   (Xavier Leroy)
 
-- PR#7421: Soundness bug with GADTs and lazy
+- MPR#7421: Soundness bug with GADTs and lazy
   (Jacques Garrigue, report by Leo White)
 
-- PR#7424: Typechecker diverges on unboxed type declaration
+- MPR#7424: Typechecker diverges on unboxed type declaration
   (Jacques Garrigue, report by Stephen Dolan)
 
-- PR#7426, GPR#965: Fix fatal error during object compilation (also
+- MPR#7426, GPR#965: Fix fatal error during object compilation (also
   introduces new [Pfield_computed] and [Psetfield_computed] primitives)
-  (Mark Shinwell)
+  (Mark Shinwell, report by Ulrich Singer)
 
-- PR#7427, GPR#959: Don't delete let bodies in Cmmgen
-  (Mark Shinwell)
+- MPR#7427, GPR#959: Don't delete let bodies in Cmmgen
+  (Mark Shinwell, report by Valentin Gatien-Baron)
 
-- PR#7432: Linking modules compiled with -labels and -nolabels is not safe
+- MPR#7432: Linking modules compiled with -labels and -nolabels is not safe
   (Jacques Garrigue, report by Jeremy Yallop)
 
-- PR#7437: typing assert failure with nonrec priv
+- MPR#7437: typing assert failure with nonrec priv
   (Jacques Garrigue, report by Anil Madhavapeddy)
 
-- PR#7438: warning +34 exposes #row with private types
+- MPR#7438: warning +34 exposes #row with private types
   (Alain Frisch, report by Anil Madhavapeddy)
 
-- PR#7443, GPR#990: spurious unused open warning with local open in patterns
+- MPR#7443, GPR#990: spurious unused open warning with local open in patterns
   (Florian Angeletti, report by Gabriel Scherer)
 
-- GPR#406: remove polymorphic comparison for Types.constructor_tag in compiler
-  (Dwight Guth, review by Gabriel Radanne, Damien Doligez, Gabriel Scherer,
-   Pierre Chambart, Mark Shinwell)
+- MPR#7456, GPR#1092: fix slow compilation on source files containing a lot
+  of similar debugging information location entries
+  (Mark Shinwell)
 
-- GPR#795: remove 256-character limitation on Sys.executable_name
-  (Xavier Leroy)
-- PR#7504: fix warning 8 with unconstrained records
+- MPR#7504: fix warning 8 with unconstrained records
   (Florian Angeletti, report by John Whitington)
 
 - PR#7456, GPR#1092: fix slow compilation on source files containing a lot
@@ -909,32 +950,26 @@ The complete list of changes is listed below.
 - PR#7456, GPR#1092: fix slow compilation on source files containing a lot
   of similar debugging information location entries
   (Mark Shinwell)
+- PR#7511, GPR#1133: Unboxed type with unboxed argument should not be accepted
+- MPR#7511, GPR#1133: Unboxed type with unboxed argument should not be accepted
+  (Damien Doligez, review by Jeremy Yallop and Leo White)
 
 - GPR#805, GPR#815, GPR#833: check for integer overflow in String.concat
   (Jeremy Yallop,
    review by Damien Doligez, Alain Frisch, Daniel Bünzli, Fabrice Le Fessant)
 
-- PR#7447, GPR#995: incorrect code generation for nested recursive bindings
-  (Leo White and Jeremy Yallop, report by Stephen Dolan)
-
-- GPR#810: check for integer overflow in Array.concat
-  (Jeremy Yallop)
-
-- GPR#814: fix the Buffer.add_substring bounds check to handle overflow
-  (Jeremy Yallop)
-
 - GPR#881: short-paths did not apply to some polymorphic variants
   (Valentin Gatien-Baron, review by Leo White)
 
 - GPR#886: Fix Ctype.moregeneral's handling of row_name
-  (Leo White)
+  (Leo White, review by Jacques Garrigue)
 
 - GPR#934: check for integer overflow in Bytes.extend
   (Jeremy Yallop, review by Gabriel Scherer)
 
 - GPR#956: Keep possibly-effectful expressions when optimizing multiplication
   by zero.
-  (Jeremy Yallop)
+  (Jeremy Yallop, review by Nicolás Ojeda Bär, Xavier Leroy and Mark Shinwell)
 
 - GPR#977: Catch Out_of_range in ocamldebug's "list" command
   (Yunxing Dai)
@@ -948,34 +983,21 @@ The complete list of changes is listed below.
   (Anton Bachin)
 
 - GPR#998: Do not delete unused closures in un_anf.ml.
-  (Leo White)
+  (Leo White, review by Mark Shinwell and Pierre Chambart)
 
 - GPR#1019: Fix fatal error in Flambda mode "[functions] does not map set of
   closures ID"
   (Pierre Chambart, code review by Mark Shinwell and Leo White)
 
 - GPR#1075: Ensure that zero-sized float arrays have zero tags.
-  (Mark Shinwell, Leo White)
+  (Mark Shinwell, Leo White, review by Xavier Leroy)
 
 * GPR#1088: Gc.minor_words now returns accurate numbers.
-  (Stephen Dolan)
-
-Next minor version (4.04.1):
-----------------------------
-OCaml 4.04.2 (23 Jun 2017):
----------------------------
+  (compatibility: the .mli declaration of `Gc.minor_words`
+   and `Gc.get_minor_free` changed, which may break libraries
+   re-exporting these values.)
+  (Stephen Dolan, review by Pierre Chambart and Xavier Leroy)
 
-### Security fix:
-
-- PR#7557: Local privilege escalation issue with ocaml binaries.
-  (Damien Doligez, report by Eric Milliken, review by Xavier Leroy)
-
-OCaml 4.04.1 (14 Apr 2017):
----------------------------
-
-- PR#7501, GPR#1089: Consider arrays of length zero as constants
-  when using Flambda.
-  (Pierre Chambart, review by Mark Shinwell and Leo White)
 OCaml 4.04.2 (23 Jun 2017):
 ---------------------------
 
@@ -987,10 +1009,6 @@ OCaml 4.04.2 (23 Jun 2017):
 OCaml 4.04.1 (14 Apr 2017):
 ---------------------------
 
-- PR#7501, GPR#1089: Consider arrays of length zero as constants
-  when using Flambda.
-  (Pierre Chambart, review by Mark Shinwell and Leo White)
-
 ### Standard library:
 
 - PR#7403, GPR#894: fix a bug in Set.map as introduced in 4.04.0
@@ -1052,9 +1070,6 @@ OCaml 4.04.1 (14 Apr 2017):
     Bigarray.Genarray.change_layout.
   (Damien Doligez and Xavier Leroy, report by Liang Wang)
 
-- PR#7511, GPR#1133: Unboxed type with unboxed argument should not be accepted
-  (Damien Doligez, review by Jeremy Yallop and Leo White)
-
 - GPR#912: Fix segfault in Unix.create_process on Windows caused by wrong header
   configuration.
   (David Allsopp)