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/types.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/types.ml')
-rw-r--r-- | typing/types.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/typing/types.ml b/typing/types.ml index 94028683ab..aea34bd223 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -135,8 +135,11 @@ end (* Maps of methods and instance variables *) +module MethSet = Misc.Stdlib.String.Set +module VarSet = Misc.Stdlib.String.Set + module Meths = Misc.Stdlib.String.Map -module Vars = Meths +module Vars = Misc.Stdlib.String.Map (* Value descriptions *) @@ -310,8 +313,6 @@ and type_transparence = (* Type expressions for the class language *) -module Concr = Misc.Stdlib.String.Set - type class_type = Cty_constr of Path.t * type_expr list * class_type | Cty_signature of class_signature |