summaryrefslogtreecommitdiff
path: root/typing/types.ml
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2019-03-12 17:30:02 +0000
committerLeo White <leo@lpw25.net>2021-07-15 13:48:47 +0100
commitdc351b3c7d09cf0003ba7bbb46c0643fbb0bc092 (patch)
tree749791d0099108dae7b2297aca75a62379a2e47a /typing/types.ml
parentf7e6b79738ef75ebb26f6cf88e3fbde1bb3799d6 (diff)
downloadocaml-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.ml7
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