From 725a98ea6133fe7741ac1ada32d53f7978bfede0 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 20 Apr 2018 20:27:29 +0200 Subject: Update dependencies --- src/catalog.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/catalog.ml') 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 = -- cgit v1.2.3