diff options
author | Leo White <leo@lpw25.net> | 2019-03-12 17:30:02 +0000 |
---|---|---|
committer | Leo White <leo@lpw25.net> | 2021-07-15 13:48:47 +0100 |
commit | dc351b3c7d09cf0003ba7bbb46c0643fbb0bc092 (patch) | |
tree | 749791d0099108dae7b2297aca75a62379a2e47a /typing/printtyp.ml | |
parent | f7e6b79738ef75ebb26f6cf88e3fbde1bb3799d6 (diff) | |
download | ocaml-dc351b3c7d09cf0003ba7bbb46c0643fbb0bc092.tar.gz |
Rename Concr
The Types.Concr module is just a string set, and it is used in
a number of places. It was originally used for the set of
concrete methods in a class signature, but it's not used for
that anymore and almost none of the places it is still used
are related to that. This commit replaces is with MethSet and
VarSet modules for sets of method or instance variable labels,
and with Misc.Stdlib.String.Set for other uses.
Diffstat (limited to 'typing/printtyp.ml')
-rw-r--r-- | typing/printtyp.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 5ebb7addee..abf5e0fd70 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -616,7 +616,7 @@ type best_path = Paths of Path.t list | Best of Path.t cache for short-paths *) let printing_old = ref Env.empty -let printing_pers = ref Concr.empty +let printing_pers = ref String.Set.empty (** {!printing_old} and {!printing_pers} are the keys of the one-slot cache *) let printing_depth = ref 0 @@ -680,7 +680,7 @@ let rec path_size = function let same_printing_env env = let used_pers = Env.used_persistent () in - Env.same_types !printing_old env && Concr.equal !printing_pers used_pers + Env.same_types !printing_old env && String.Set.equal !printing_pers used_pers let set_printing_env env = printing_env := env; |