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 /middle_end | |
| 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 'middle_end')
| -rw-r--r-- | middle_end/flambda_utils.ml | 2 | ||||
| -rw-r--r-- | middle_end/middle_end.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/middle_end/flambda_utils.ml b/middle_end/flambda_utils.ml index 6acf4a4c95..c70943765d 100644 --- a/middle_end/flambda_utils.ml +++ b/middle_end/flambda_utils.ml @@ -804,7 +804,7 @@ module Switch_storer = Switch.Store (struct | Expr _, Prim _ -> -1 | Prim _, Expr _ -> 1 | Prim (prim1, args1), Prim (prim2, args2) -> - let comp_prim = Pervasives.compare prim1 prim2 in + let comp_prim = Stdlib.compare prim1 prim2 in if comp_prim <> 0 then comp_prim else Misc.Stdlib.List.compare (compare_var env) args1 args2 in diff --git a/middle_end/middle_end.ml b/middle_end/middle_end.ml index 2d3e5ffc2e..50142baed8 100644 --- a/middle_end/middle_end.ml +++ b/middle_end/middle_end.ml @@ -41,7 +41,7 @@ let middle_end ~ppf_dump ~prefixname ~backend let module WarningSet = Set.Make (struct type t = Location.t * Warnings.t - let compare = Pervasives.compare + let compare = Stdlib.compare end) in let warning_set = ref WarningSet.empty in |