diff options
author | Jérémie Dimino <jeremie@dimino.org> | 2018-08-27 12:42:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-27 12:42:14 +0100 |
commit | 9124ab82d14b0fe4c8092af0f666b19d42139af0 (patch) | |
tree | 1d5fca3e26e7029af257196acf8695046be71695 /stdlib/listLabels.mli | |
parent | e6876098344a95a5a7c920b225a0dc797f7c8be1 (diff) | |
download | ocaml-9124ab82d14b0fe4c8092af0f666b19d42139af0.tar.gz |
Deprecate Pervasives (#1605)
- inline Pervasives in Stdlib and re-add Pervasives as a deprecated
module that aliases all elements of Stdlib except the stdlib modules.
- remove special case for Stdlib.Pervasives in printtyp.ml
Diffstat (limited to 'stdlib/listLabels.mli')
-rw-r--r-- | stdlib/listLabels.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index ab6980c21d..022c7c166b 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -315,7 +315,7 @@ val sort : cmp:('a -> 'a -> int) -> 'a list -> 'a list compare as equal, a positive integer if the first is greater, and a negative integer if the first is smaller (see Array.sort for a complete specification). For example, - {!Pervasives.compare} is a suitable comparison function. + {!Stdlib.compare} is a suitable comparison function. The resulting list is sorted in increasing order. [List.sort] is guaranteed to run in constant heap space (in addition to the size of the result list) and logarithmic |