From f2be1cbed06d723ea511e7caa53a7a341d5afb39 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Thu, 28 Nov 2019 12:41:18 -0800 Subject: [PATCH] [sledge] Hashtbl.Key has been deprecated in favor of Hashtbl.Key.S Reviewed By: jvillard Differential Revision: D18708465 fbshipit-source-id: b7ae04fe9 --- sledge/src/llair/exp.mli | 2 +- sledge/src/llair/term.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sledge/src/llair/exp.mli b/sledge/src/llair/exp.mli index c6a05a34a..04fc6ae67 100644 --- a/sledge/src/llair/exp.mli +++ b/sledge/src/llair/exp.mli @@ -200,7 +200,7 @@ val select : Typ.t -> t -> int -> t val update : Typ.t -> rcd:t -> int -> elt:t -> t val struct_rec : - (module Hashtbl.Key with type t = 'id) + (module Hashtbl.Key.S with type t = 'id) -> (id:'id -> Typ.t -> t lazy_t vector -> t) Staged.t (** [struct_rec Id id element_thunks] constructs a possibly-cyclic [Struct] value. Cycles are detected using [Id]. The caller of [struct_rec Id] diff --git a/sledge/src/llair/term.mli b/sledge/src/llair/term.mli index ab3804b3f..f5a6b6baa 100644 --- a/sledge/src/llair/term.mli +++ b/sledge/src/llair/term.mli @@ -201,7 +201,7 @@ val update : rcd:t -> idx:int -> elt:t -> t (* recursive n-ary application *) val rec_app : - (module Hashtbl.Key with type t = 'id) + (module Hashtbl.Key.S with type t = 'id) -> (id:'id -> recN -> t lazy_t vector -> t) Staged.t val size_of : Typ.t -> t