diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-10-02 14:52:56 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-10-02 14:53:03 +0200 |
| commit | 20488769359875c9b18bd4410b388802026442bd (patch) | |
| tree | c8c3aace2c5d22bc8cbca8bdae3efd9b3644ecde | |
| parent | a202aa032bd4e1224c99c54220607c1be795f0e5 (diff) | |
| download | ocaml-20488769359875c9b18bd4410b388802026442bd.tar.gz | |
minor Changes fix
| -rw-r--r-- | Changes | 32 |
1 files changed, 16 insertions, 16 deletions
@@ -86,22 +86,6 @@ Release branch for 4.06: "S with type _ t = int". (Valentin Gatien-Baron, report by Jeremy Yallop) -- GPR#1386: provide configure-time options to fine-tune the safe-string - options and default settings changed by GPR#1525. - - The previous configure option -safe-string is now - renamed -force-safe-string. - - At configure-time, -force-safe-string forces all module to use - immutable strings (this disables the per-file, compile-time - -unsafe-string option). The new default-(un)safe-string options - let you set the default choice for the per-file compile-time - option. (The new GPR#1252 behavior corresponds to having - -default-safe-string, while 4.05 and older had - -default-unsafe-string). - - (Gabriel Scherer, review by Jacques-Pascal Deplaix and Damien Doligez) - ### Code generation and optimizations: - MPR#5324, GPR#375: An alternative Linear Scan register allocator for @@ -487,6 +471,22 @@ Release branch for 4.06: configure script relating to such detection. (Mark Shinwell, report by John Whitington, review by Xavier Leroy) +- GPR#1386: provide configure-time options to fine-tune the safe-string + options and default settings changed by GPR#1525. + + The previous configure option -safe-string is now + renamed -force-safe-string. + + At configure-time, -force-safe-string forces all module to use + immutable strings (this disables the per-file, compile-time + -unsafe-string option). The new default-(un)safe-string options + let you set the default choice for the per-file compile-time + option. (The new GPR#1252 behavior corresponds to having + -default-safe-string, while 4.05 and older had + -default-unsafe-string). + + (Gabriel Scherer, review by Jacques-Pascal Deplaix and Damien Doligez) + ### Internal/compiler-libs changes: - MPR#6826, GPR#828, GPR#834: improve compilation time for open |