From 999710fbb747b1d4cc423e960a35bdec78da8a95 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 2 Feb 2021 04:33:15 -0800 Subject: [PATCH] [sledge] Change Map.to_list to return bindings in order Reviewed By: jvillard Differential Revision: D25883729 fbshipit-source-id: cd019b28d --- sledge/nonstdlib/map.ml | 3 ++- sledge/nonstdlib/map_intf.ml | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/sledge/nonstdlib/map.ml b/sledge/nonstdlib/map.ml index 0eec08336..c52d8c3ee 100644 --- a/sledge/nonstdlib/map.ml +++ b/sledge/nonstdlib/map.ml @@ -188,7 +188,8 @@ end) : S with type key = Key.t = struct let keys = M.keys let values = M.values let to_iter = M.to_iter - let to_list = M.to_list + let to_list = M.bindings + let to_list_rev = M.to_list let of_iter = M.of_iter let of_list = M.of_list diff --git a/sledge/nonstdlib/map_intf.ml b/sledge/nonstdlib/map_intf.ml index 950fb2a6b..4f7a4efbf 100644 --- a/sledge/nonstdlib/map_intf.ml +++ b/sledge/nonstdlib/map_intf.ml @@ -122,6 +122,7 @@ module type S = sig val values : 'a t -> 'a iter val to_iter : 'a t -> (key * 'a) iter val to_list : 'a t -> (key * 'a) list + val to_list_rev : 'a t -> (key * 'a) list val of_iter : (key * 'a) iter -> 'a t val of_list : (key * 'a) list -> 'a t