Skip to content

Commit

Permalink
Use capital letters for stdlib modules
Browse files Browse the repository at this point in the history
Now use stdlib__String instead of stdlib__string. Removes a difference
between the stdlib when compiled with Dune vs make.
  • Loading branch information
dra27 committed Jan 21, 2021
1 parent 9a4e32a commit 53ba024
Show file tree
Hide file tree
Showing 18 changed files with 729 additions and 703 deletions.
7 changes: 7 additions & 0 deletions Changes
Expand Up @@ -64,6 +64,13 @@ Working version
- #9582: Add Array.{find_opt,find_map,split,combine}.
(Nicolás Ojeda Bär, review by Daniel Bünzli and Gabriel Scherer)

* #10169: Use capitalized module names in the Standard Library prefixing scheme
to match Dune, e.g. Stdlib__String instead of Stdlib__string. This is a
breaking change only to code which attempted to use the internal names before.
The Standard Library generated by the Dune rules is now equivalent to the main
build (the Dune rules still do not generate a distributable compiler).
(David Allsopp and Mark Shinwell, review by Gabriel Scherer)

### Other libraries:

* #10084: Unix.open_process_args* functions now look up the program in the PATH.
Expand Down
2 changes: 2 additions & 0 deletions Makefile
Expand Up @@ -69,6 +69,8 @@ TOPLEVELSTART=toplevel/topstart.cmo

TOPLEVELINIT=toplevel/toploop.cmo

# This list is passed to expunge, which accepts both uncapitalized and
# capitalized module names.
PERVASIVES=$(STDLIB_MODULES) outcometree topdirs toploop

LIBFILES=stdlib.cma std_exit.cmo *.cmi camlheader
Expand Down

0 comments on commit 53ba024

Please sign in to comment.