summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2017-08-13 11:28:37 +0200
committeroctachron <octa@polychoron.fr>2017-08-13 11:56:53 +0200
commitd7fb41dd14e214ba8ac25c4ebace0e55cb50ac53 (patch)
tree280f619c4a0fd916cb91a2891bb88d70c2d15073
parent1885f54a35d937862b9eabeb62cd00119f45e300 (diff)
downloadocaml-d7fb41dd14e214ba8ac25c4ebace0e55cb50ac53.tar.gz
Add a change entry for GPR#615
-rw-r--r--Changes6
1 files changed, 6 insertions, 0 deletions
diff --git a/Changes b/Changes
index e6f45ab4b5..b373ff8173 100644
--- a/Changes
+++ b/Changes
@@ -89,6 +89,12 @@ Working version
the unaligned part, which is useful for Tuple options.
(Nicolas Ojeda Bar, review by Alain Frisch and Gabriel Scherer)
+* GPR#615: Format, add symbolic formatters that output symbolic
+ pretty-printing items. New fields have been added to the
+ formatter_out_functions record, thus this change will break any code building
+ such record from scratch.
+ (Richard Bonichon and Pierre Weiss, review by Alain Frisch)
+
* GPR#943: Fixed the divergence of the Pervasives module between the stdlib
and threads implementations. In rare circumstances this can change the
behavior of existing applications: the implementation of Pervasives.close_out