Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added change entry.

master
Bernhard Schommer 2016-10-12 17:16:28 +02:00
parent 3396620162
commit 1a74a8b29c
No known key found for this signature in database
GPG Key ID: 7924A6E9B4AB4F73
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Changes
View File

@ -11,6 +11,14 @@ Next version (tbd):
- GPR#829: better error when opening a module aliased to a functor
(Alain Frisch)
- MPR#7050, GPR#748 GPR#843: new `-arg/-arg0 <file>` parameters to provide
extra command-line arguments in a file -- see documentation.
User programs may implement similar options
using the new `Arg.Expand` constructor.
(Bernhard Schommer, review by Jérémie Dimino, Gabriel Scherer
and Damien Doligez, discussion with Alain Frisch and Xavier Leroy,
feature request from the Coq team)
### Standard library:
- GPR#760: Add a functions List.compare_lengths and