From 73527342f3102829f81692b4d051109e6b66f446 Mon Sep 17 00:00:00 2001 From: Pierre Boutillier Date: Tue, 21 Mar 2023 18:50:48 +0100 Subject: [PATCH] Proto/Env v8: implements fold_right_es as fold_left_es @ rev --- src/lib_protocol_environment/environment_V8.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/lib_protocol_environment/environment_V8.ml b/src/lib_protocol_environment/environment_V8.ml index 6e6143a5990d..ad66c348098b 100644 --- a/src/lib_protocol_environment/environment_V8.ml +++ b/src/lib_protocol_environment/environment_V8.ml @@ -203,7 +203,13 @@ struct module Compare = Compare module Either = Either module Seq = Tezos_protocol_environment_structs.V8.Seq - module List = Tezos_error_monad.TzLwtreslib.List + + module List = struct + include Tezos_error_monad.TzLwtreslib.List + + let fold_right_es f l x = fold_left_es (fun acc x -> f x acc) x (rev l) + end + module Array = Tezos_protocol_environment_structs.V8.Array module Char = Char module Bytes = Tezos_base.TzPervasives.Bytes -- GitLab