summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2019-06-21 11:17:25 +0100
committerFlorian Angeletti <florian.angeletti@inria.fr>2019-07-09 18:11:11 +0200
commit2b2480c98a2e7a4a5e3082947c76e27715842044 (patch)
tree8b42578e565f114a04d50e268016148b3122f6a4
parent5848abb141fa788a9952183a32bd51aa7c6ee629 (diff)
downloadocaml-2b2480c98a2e7a4a5e3082947c76e27715842044.tar.gz
Rename references to Pervasives to Stdlib
-rw-r--r--man/ocamldoc.m2
-rw-r--r--manual/manual/cmds/intf-c.etex8
-rw-r--r--manual/manual/cmds/ocamldoc.etex2
-rw-r--r--manual/manual/library/stdlib-blurb.etex2
-rw-r--r--manual/manual/refman/expr.etex2
-rw-r--r--manual/manual/tutorials/lablexamples.etex2
-rw-r--r--stdlib/float.mli2
7 files changed, 10 insertions, 10 deletions
diff --git a/man/ocamldoc.m b/man/ocamldoc.m
index 7cc0948453..ffdee529a8 100644
--- a/man/ocamldoc.m
+++ b/man/ocamldoc.m
@@ -160,7 +160,7 @@ Hide the given complete module names in the generated documentation.
.I modules
is a list of complete module names are separated by commas (,),
without blanks. For instance:
-.IR Pervasives,M2.M3 .
+.IR Stdlib,M2.M3 .
.TP
.B \-inv\-merge\-ml\-mli
Reverse the precedence of implementations and interfaces when merging.
diff --git a/manual/manual/cmds/intf-c.etex b/manual/manual/cmds/intf-c.etex
index ca5ff63b6e..3470eb8f21 100644
--- a/manual/manual/cmds/intf-c.etex
+++ b/manual/manual/cmds/intf-c.etex
@@ -24,7 +24,7 @@ User primitives are declared in an implementation file or
This defines the value name \var{name} as a function with type
\var{type} that executes by calling the given C function.
For instance, here is how the "input" primitive is declared in the
-standard library module "Pervasives":
+standard library module "Stdlib":
\begin{verbatim}
external input : in_channel -> bytes -> int -> int -> int
= "input"
@@ -1624,10 +1624,10 @@ OCaml runtime explicitly, in order to avoid various system resource leaks.
Since 4.05, "caml_shutdown" function can be used to shut the runtime down
gracefully, which equals the following:
\begin{itemize}
-\item Running the functions that were registered with "Pervasives.at_exit".
+\item Running the functions that were registered with "Stdlib.at_exit".
\item Triggering finalization of allocated custom blocks (see
-section~\ref{s:custom}). For example, "Pervasives.in_channel" and
-"Pervasives.out_channel" are represented by custom blocks that enclose file
+section~\ref{s:custom}). For example, "Stdlib.in_channel" and
+"Stdlib.out_channel" are represented by custom blocks that enclose file
descriptors, which are to be released.
\item Unloading the dependent shared libraries that were loaded by the runtime,
including "dynlink" plugins.
diff --git a/manual/manual/cmds/ocamldoc.etex b/manual/manual/cmds/ocamldoc.etex
index 484e6350c8..e65a293725 100644
--- a/manual/manual/cmds/ocamldoc.etex
+++ b/manual/manual/cmds/ocamldoc.etex
@@ -98,7 +98,7 @@ read with the "-load" option in a subsequent invocation of "ocamldoc".
\item["-hide" \var{modules}]
Hide the given complete module names in the generated documentation.
\var{modules} is a list of complete module names separated
- by '","', without blanks. For instance: "Pervasives,M2.M3".
+ by '","', without blanks. For instance: "Stdlib,M2.M3".
\item["-inv-merge-ml-mli"]
Reverse the precedence of implementations and interfaces when merging.
diff --git a/manual/manual/library/stdlib-blurb.etex b/manual/manual/library/stdlib-blurb.etex
index 7c5c41d269..7dba75e890 100644
--- a/manual/manual/library/stdlib-blurb.etex
+++ b/manual/manual/library/stdlib-blurb.etex
@@ -8,7 +8,7 @@ having to add any ".cmo" file on the command line for the linking
phase. Similarly, in interactive use, these globals can be used in
toplevel phrases without having to load any ".cmo" file in memory.
-Unlike the "Pervasives" module from the core library, the modules from the
+Unlike the "Stdlib" module from the core library, the modules from the
standard library are not automatically ``opened'' when a compilation
starts, or when the toplevel system is launched. Hence it is necessary
to use qualified identifiers to refer to the functions provided by these
diff --git a/manual/manual/refman/expr.etex b/manual/manual/refman/expr.etex
index faf5023181..30b7b05d24 100644
--- a/manual/manual/refman/expr.etex
+++ b/manual/manual/refman/expr.etex
@@ -703,7 +703,7 @@ interpreted as the application @'(' infix-symbol ')' expr_1 expr_2@.
The table below lists the symbols defined in the initial environment
and their initial meaning. (See the description of the core
-library module "Pervasives" in chapter~\ref{c:corelib} for more
+library module "Stdlib" in chapter~\ref{c:corelib} for more
details). Their meaning may be changed at any time using
@"let" "(" infix-op ")" name_1 name_2 "=" \ldots@
diff --git a/manual/manual/tutorials/lablexamples.etex b/manual/manual/tutorials/lablexamples.etex
index ef79271562..e306b88edb 100644
--- a/manual/manual/tutorials/lablexamples.etex
+++ b/manual/manual/tutorials/lablexamples.etex
@@ -292,7 +292,7 @@ libraries.
\entree{"src:"}{the source of an operation}
\entree{"dst:"}{the destination of an operation}
\entree{"init:"}{the initial value for an iterator}
-\entree{"cmp:"}{a comparison function, {\it e.g.} "Pervasives.compare"}
+\entree{"cmp:"}{a comparison function, {\it e.g.} "Stdlib.compare"}
\entree{"mode:"}{an operation mode or a flag list}
\end{tableau}
diff --git a/stdlib/float.mli b/stdlib/float.mli
index 70d6ab8a46..f82947b189 100644
--- a/stdlib/float.mli
+++ b/stdlib/float.mli
@@ -550,7 +550,7 @@ module Array : sig
function. The comparison function must return 0 if its arguments
compare as equal, a positive integer if the first is greater,
and a negative integer if the first is smaller (see below for a
- complete specification). For example, {!Pervasives.compare} is
+ complete specification). For example, {!Stdlib.compare} is
a suitable comparison function. After calling [sort], the
array is sorted in place in increasing order.
[sort] is guaranteed to run in constant heap space