diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2018-04-20 20:27:29 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-04-20 20:27:29 +0200 |
commit | 725a98ea6133fe7741ac1ada32d53f7978bfede0 (patch) | |
tree | 9dcced0b39b7779ea677eef193c87e9e2dcf9899 /src/catalog.ml | |
parent | 83a783f652dff960a0c6e15f94f1fc496813d998 (diff) |
Update dependencies
Diffstat (limited to 'src/catalog.ml')
-rwxr-xr-x | src/catalog.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/catalog.ml b/src/catalog.ml index bba13d6..71f953f 100755 --- a/src/catalog.ml +++ b/src/catalog.ml @@ -155,7 +155,7 @@ module Make(Data:DATA_SIG) = struct Each name is binded with another map with contains the function for each
signature.
*)
- type t = Functions.t Base.String_dict.t
+ type t = Functions.t String_dict.t
type catalog_builder = Functions.t Catalog.t
let empty = Catalog.empty
@@ -192,15 +192,15 @@ module Make(Data:DATA_SIG) = struct let find_function:
type a. t -> string -> a t_function sig_typ -> a t_function =
begin fun t name signature ->
- Base.String_dict.find_exn t (String.uppercase_ascii name)
+ String_dict.find_exn t (String.uppercase_ascii name)
|> Functions.find signature
end
let compile t =
- (* Use efficient Base.String_dict.
+ (* Use efficient String_dict.
The requirement to have a unique key is garantee by the Map structure.
*)
- Base.String_dict.of_alist_exn (Catalog.bindings t)
+ String_dict.of_alist_exn (Catalog.bindings t)
type result =
|