Merge branch 'trunk' into fatal_error_abort

1 files changed, 53 insertions, 1 deletions

diff --git a/Changes b/Changes
index b094bcb786..68b1f4abab 100644
--- a/Changes
+++ b/Changes
@@ -26,6 +26,18 @@ Working version
 - #8677: Use unsigned comparisons in amd64 and i386 emitter of Lcondbranch3.
   (Greta Yorsh, review by Xavier Leroy)
 
+### Code generation and optimizations:
+
+- #8672: Optimise Switch code generation on booleans.
+  (Stephen Dolan, review by Pierre Chambart)
+
+- #2322: Add pseudo-instruction `Ladjust_trap_depth` to replace
+  dummy Lpushtrap generated in linearize
+  (Greta Yorsh and Vincent Laviron, review by Xavier Leroy)
+
+- #8707: Simplif: more regular treatment of Tupled and Curried functions
+  (Gabriel Scherer, review by Leo White and Alain Frisch)
+
 ### Runtime system:
 
 - #8619: Ensure Gc.minor_words remains accurate after a GC.
@@ -36,6 +48,10 @@ Working version
    OCaml heap.
    (Jacques-Henri Jourdan, review by Damien Doligez)
 
+- #8691: Allocation functions are now guaranteed not to trigger any
+   OCaml callback when called from C.
+   (Jacques-Henri Jourdan, review by Stephen Dolan and Gabriel Scherer)
+
 - #8630: Use abort() instead of exit(2) in caml_fatal_error, and add
   the new hook caml_fatal_error_hook.
   (Jacques-Henri Jourdan, review by Xavier Leroy)
@@ -54,6 +70,10 @@ Working version
    (Jacques-Henri Jourdan, review by Stephen Dolan, Gabriel Scherer and
     Damien Doligez)
 
+- #7672, #1492: Add `Filename.quote_command` to produce properly-quoted
+  commands for execution by Sys.command.
+  (Xavier Leroy, review by David Allsopp and Damien Doligez)
+
 ### Other libraries:
 
 - #1939, #2023: Implement Unix.truncate and Unix.ftruncate on Windows.
@@ -70,6 +90,11 @@ Working version
   (Stephen Dolan, review by Gabriel Scherer, Sébastien Hinderer and
    Thomas Refis)
 
+### Compiler user-interface and warnings:
+
+- #8702, #8777: improved error messages for fixed row polymorphic variants
+  (Florian Angeletti, report by Leo White, review by Thomas Refis)
+
 ### Bug fixes:
 
 - #8622: Don't generate #! headers over 127 characters.
@@ -80,6 +105,10 @@ Working version
   (Gabriel Scherer and Florian Angeletti,
    review by Florian Angeletti and Gabriel Radanne)
 
+- #8751: fix bug that could result in misaligned data section when compiling to
+  native-code on amd64.  (observed with the mingw64 compiler)
+  (Nicolás Ojeda Bär, review by David Allsopp)
+
 OCaml 4.09.0
 ------------
 
@@ -123,12 +152,20 @@ OCaml 4.09.0
   (Jules Aguillon, with help from Armaël Guéneau,
    review by Gabriel Scherer and Florian Angeletti)
 
+- #2309: New options -with-runtime and -without-runtime in ocamlopt/ocamlc
+  that control the inclusion of the runtime system in the generated program.
+  (Lucas Pluvinage, review by Daniel Bünzli, Damien Doligez, David Allsopp
+   and Florian Angeletti)
+
 - #2314: Remove support for gprof profiling.
   (Mark Shinwell, review by Xavier Clerc and Stephen Dolan)
 
 - #3819, #8546 more explanations and tests for illegal permutation
   (Florian Angeletti, review by Gabriel Scherer)
 
+- #8537: fix the -runtime-variant option for bytecode
+  (Damien Doligez, review by David Allsopp)
+
 - #8541: Correctly print multi-lines locations
   (Louis Roché, review by Gabriel Scherer)
 
@@ -240,6 +277,9 @@ OCaml 4.09.0
 - #8656: Fix a bug in [caml_modify_generational_global_root]
   (Jacques-Henri Jourdan, review by Gabriel Scherer)
 
+- #8787, #8788: avoid integer overflow in caml_output_value_to_bytes
+  (Jeremy Yallop, report by Marcello Seri)
+
 ### Standard library:
 
 - #2262: take precision (.<n>) and flags ('+' and ' ') into account
@@ -282,6 +322,9 @@ OCaml 4.09.0
 
 ### Manual and documentation:
 
+- #8757: Rename Pervasives to Stdlib in core library documentation.
+  (Ian Zimmerman, review by David Allsopp)
+
 - #7584, #8538: Document .cmt* files in the "overview" of ocaml{c,opt}
   (Oxana Kostikova, rewiew by Florian Angeletti)
 
@@ -310,6 +353,15 @@ OCaml 4.09.0
   ocamldep. It used to turn some errors into successes
   (Jérémie Dimino)
 
+- #8701, #8725: Variance of constrained parameters causes principality issues
+  (Jacques Garrigue, report by Leo White, review by Gabriel Scherer)
+
+- #8769, #8770: Fix assertion failure with -pack
+  (Leo White, review by Gabriel Scherer, report by Fabian @copy)
+
+- #8800: Fix soundness bug in extension constructor inclusion
+  (Leo White, review by Jacques Garrigue)
+
 OCaml 4.08.0
 ------------
 
@@ -839,7 +891,7 @@ OCaml 4.08.0
   fixes an imenu crash.
   (Wilfred Hughes, review by Christophe Troestler)
 
-- #1711: the new 'open' flag in OCAMLRUNPARAM takes a comma-separated list of
+- #1711: the new 'open' flag in OCAMLPARAM takes a comma-separated list of
   modules to open as if they had been passed via the command line -open flag.
   (Nicolás Ojeda Bär, review by Mark Shinwell)