diff options
author | Jeremie Dimino <jdimino@janestreet.com> | 2017-01-12 11:56:24 +0000 |
---|---|---|
committer | Jeremie Dimino <jeremie@dimino.org> | 2018-02-12 08:29:16 +0000 |
commit | 225d1c65b9f284b2cd85b26b58698da342ce9792 (patch) | |
tree | b567ac8bee5053ab00aa48fd5f539750505b945b /.gitignore | |
parent | e2e928fafe23807d9c792d61314ad4725655aa59 (diff) | |
download | ocaml-225d1c65b9f284b2cd85b26b58698da342ce9792.tar.gz |
Prefix the compilation unit names of all modules in the stdlib
Except for the Camlinternal* modules and the new Stdlib module, all
modules in the stdlib now compile to Stdlib__<module>.
Pervasives is renamed to Stdlib and now contains a list of aliases
from the long names to the short ones, so that from inside and outside
the stdlib we can refer to the standard modules as just List or
Stdlib.List rather than Stdlib__list.
In order to avoid printing the long names in error messages and in the
toplevel, the following heuristic is added to Printtyp: given a path
Foo__bar, if Foo.Bar exists and is a direct or indirect alias to
Foo__bar, then prefer Foo.Bar.
A bootstrap step was required to replace Pervasives by Stdlib as the
module opened by default.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 3d8f237867..92429b70c2 100644 --- a/.gitignore +++ b/.gitignore @@ -32,6 +32,7 @@ *.out.dSYM *.swp _ocamltest +*.odoc # local to root directory @@ -157,6 +158,7 @@ _ocamltest /ocamldoc/ocamldoc /ocamldoc/ocamldoc.opt +/ocamldoc/odoc /ocamldoc/odoc_crc.ml /ocamldoc/odoc_lexer.ml /ocamldoc/odoc_ocamlhtml.ml @@ -167,6 +169,7 @@ _ocamltest /ocamldoc/odoc_text_parser.ml /ocamldoc/odoc_text_parser.mli /ocamldoc/stdlib_man +/ocamldoc/stdlib_non_prefixed/*.mli /ocamldoc/stdlib_html /ocamldoc/*.output /ocamldoc/test_stdlib @@ -182,7 +185,7 @@ _ocamltest /otherlibs/dynlink/extract_crc /otherlibs/threads/marshal.mli -/otherlibs/threads/pervasives.mli +/otherlibs/threads/stdlib.mli /otherlibs/threads/unix.mli /otherlibs/win32graph/graphics.ml /otherlibs/win32graph/graphics.mli |