diff options
author | Gabriel Radanne <drupyog+github@zoho.com> | 2018-07-23 14:19:41 +0200 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2018-07-23 13:19:41 +0100 |
commit | 1be47bf7ab71235f4b37143a5129bac57ea89bdc (patch) | |
tree | 2632aed4bd3281ce95366e2e36a1ed93b1232b76 /typing/types.ml | |
parent | b0ebe697275d98d3acac7cf1087d9d2879b582bd (diff) | |
download | ocaml-1be47bf7ab71235f4b37143a5129bac57ea89bdc.tar.gz |
Just some tbl things. (#1699)
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/typing/types.ml b/typing/types.ml index 996a308587..ea4efd3b14 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -80,9 +80,7 @@ end (* Maps of methods and instance variables *) -module OrderedString = - struct type t = string let compare (x:t) y = compare x y end -module Meths = Map.Make(OrderedString) +module Meths = Misc.Stdlib.String.Map module Vars = Meths (* Value descriptions *) @@ -220,7 +218,7 @@ and type_transparence = (* Type expressions for the class language *) -module Concr = Set.Make(OrderedString) +module Concr = Misc.Stdlib.String.Set type class_type = Cty_constr of Path.t * type_expr list * class_type |