@@ -15,7 +15,6 @@ Working version
1515 (Marcell Fischbach and Benedikt Meurer, adapted by Nicolas Ojeda
1616 Bar, review by Nicolas Ojeda Bar and Alain Frisch)
1717
18-
1918### Tools:
2019
2120- GPR#1045: ocamldep, add a "-shared" option to generate dependencies
@@ -27,6 +26,14 @@ Working version
2726- PR#7468: possible GC problem in caml_alloc_sprintf
2827 (Xavier Leroy, discovery by Olivier Andrieu)
2928
29+ ### Runtime system:
30+
31+ - GPR#71: The runtime can now be shut down gracefully by means of the new
32+ caml_shutdown and caml_startup_pooled functions. The new 'c' flag in
33+ OCAMLRUNPARAM enables shutting the runtime properly on process exit.
34+ (Max Mouratov, review and discussion by Damien Doligez, Gabriel Scherer,
35+ Mark Shinwell, Thomas Braibant, Stephen Dolan, Pierre Chambart,
36+ François Bobot, Jacques Garrigue, and David Allsopp)
3037
3138
3239Next version (4.05.0):
@@ -91,7 +98,7 @@ Next version (4.05.0):
9198
9299- PR#7172, GPR#970: add extra (ocamlc -config) options
93100 int_size, word_size, ext_exe
94- (Gabriel Scherer, request by Daniel Buenzli )
101+ (Gabriel Scherer, request by Daniel Bünzli )
95102
96103- PR#7479: make sure "ocamlc -pack" is only given .cmo and .cmi files,
97104 and that "ocamlopt -pack" is only given .cmx and .cmi files.
@@ -325,7 +332,8 @@ Next version (4.05.0):
325332- GPR#744, GPR#781: fix duplicate self-reference in imported cmi_crcs
326333 list in .cmti files + avoid rebuilding cmi_info record when creating
327334 .cmti files
328- (Alain Frisch, report by Daniel Bunzli, review by Jeremie Dimino)
335+ (Alain Frisch, report by Daniel Bünzli, review by Jérémie Dimino)
336+
329337- GPR#915: fix -dsource (pprintast.ml) bugs
330338 (Runhang Li, review by Alain Frisch)
331339
@@ -358,7 +366,7 @@ Next version (4.05.0):
358366
359367- PR#7407: Two not-quite-standard C idioms rejected by SUNWSPro compilers
360368 (Xavier Leroy)
361-
369+
362370- PR#7414, GPR#929: Soundness bug with non-generalized type variable and functor
363371 (Jacques Garrigue, report by Leo White)
364372
@@ -505,7 +513,7 @@ OCaml 4.04.0 (4 Nov 2016):
505513 (Alain Frisch)
506514
507515- GPR#508: Allow shortcut for extension on semicolons: ;%foo
508- (Jeremie Dimino)
516+ (Jérémie Dimino)
509517
510518- GPR#606: optimized representation for immutable records with a single
511519 field, and concrete types with a single constructor with a single argument.
@@ -577,7 +585,7 @@ OCaml 4.04.0 (4 Nov 2016):
577585 (Alain Frisch)
578586
579587- GPR#669: Filename.extension and Filename.remove_extension
580- (Alain Frisch, request by Edgar Aroutiounian, review by Daniel Bunzli
588+ (Alain Frisch, request by Edgar Aroutiounian, review by Daniel Bünzli
581589 and Damien Doligez)
582590
583591- GPR#674: support unknown Sys.os_type in Filename, defaulting to Unix
@@ -1237,7 +1245,7 @@ OCaml 4.03.0 (25 Apr 2016):
12371245
12381246* GPR#297: Several changes to improve the worst-case GC pause time.
12391247 Changes Gc.control and Gc.major_slice and adds functions to the Gc module.
1240- (Damien Doligez, with help from Francois Bobot, Thomas Braibant, Leo White)
1248+ (Damien Doligez, with help from François Bobot, Thomas Braibant, Leo White)
12411249
12421250- GPR#325: Add v=0x400 flag to OCAMLRUNPARAM to display GC stats on exit
12431251 (Louis Gesbert, review by Alain Frisch)
@@ -4757,7 +4765,7 @@ Standard library:
47574765- Module Printf:
47584766 added %S and %C formats (quoted, escaped strings and characters);
47594767 added kprintf (calls user-specified continuation on formatted string).
4760- - Module Queue: faster implementation (courtesy of Francois Pottier).
4768+ - Module Queue: faster implementation (courtesy of François Pottier).
47614769- Module Random: added Random.bool.
47624770- Module Stack: added Stack.is_empty.
47634771- Module Pervasives:
@@ -5990,7 +5998,7 @@ Objective Caml 1.01 (12 Jun 1996):
59905998Objective Caml 1.00 (9 May 1996):
59915999---------------------------------
59926000
5993- * Merge of Jerome Vouillon and Didier Remy 's object-oriented
6001+ * Merge of Jérôme Vouillon and Didier Rémy 's object-oriented
59946002extensions.
59956003
59966004* All libraries: all "new" functions renamed to "create" because "new"
0 commit comments