diff options
| author | Thomas Refis <thomas.refis@gmail.com> | 2015-11-05 11:27:36 +0000 |
|---|---|---|
| committer | Thomas Refis <refis.thomas@gmail.com> | 2015-11-16 11:06:09 +0100 |
| commit | ce793e16efbc4a6e5cab315caa4be44fcce0dfe4 (patch) | |
| tree | dc6917b01b105c472312e7f0a64ccb63f097700f /Changes | |
| parent | 3762abea10a3c3c7614b418b42d0ed308b8e3693 (diff) | |
| download | ocaml-ce793e16efbc4a6e5cab315caa4be44fcce0dfe4.tar.gz | |
update Changes
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -53,6 +53,9 @@ Language features: (Valentin Gatien-Baron, review by Jérémie Dimino) - PR#6806: Allow type annotations before the "->" in "fun <args> -> <expr>" (Valentin Gatien-Baron, review by Jérémie Dimino) +- GPR#282: change short-paths penalty heuristic to assign the same cost to + idents containing double underscores as to idents starting with an underscore + (Thomas Refis, Leo White) Compilers: - PR#4800: better compilation of tuple assignment (Gabriel Scherer and @@ -94,6 +97,9 @@ Compilers: (Mark Shinwell) - GPR#270: Make [transl_exception_constructor] generate [Immutable] blocks (Mark Shinwell) +- GPR#282: relax short-paths safety check in presence of module aliases, take + penalty into account while building the printing map. + (Thomas Refis, Leo White) Runtime system: - PR#3612: allow allocating custom block with finalizers in the minor heap |