diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-05 16:51:54 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-05 16:52:03 +0100 |
| commit | 1fb2a8166c70c92b620c5b57385ab373f3e69852 (patch) | |
| tree | 57834959aea63bac9d73a306f458e8262391fbee /Changes | |
| parent | f486350b749608875a3b703cf10f97ee7884ae22 (diff) | |
| download | ocaml-1fb2a8166c70c92b620c5b57385ab373f3e69852.tar.gz | |
update Changes for GPR#279
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -309,8 +309,9 @@ Features wishes: (Vladimir Brankov, review by Gabriel Scherer) - GPR#147: [type 'a result = Ok of 'a | Error of 'b] in Pervasives (Yaron Minsky) -- GPR#156: Optimize reallocation of caml_frame_descriptors (dynlink speedup) - (Pierre Chambart, review by François Bobot, Xavier Leroy and Damien Doligez) +- GPR#156, GPR#279: optimize caml_frame_descriptors realloc (dynlink speedup) + (Pierre Chambart, Alain Frisch, + review by François Bobot, Xavier Leroy and Damien Doligez) - GPR#171: allow custom warning printers / catchers (Benjamin Canou, review by Damien Doligez) - GPR#191: Making gc.h and some part of memory.h public |