From afda65fef1a8f9d6c7b56642be233fd9386e4949 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Sun, 11 Jun 2017 21:39:55 +0200 Subject: [PATCH] Alpha: fix pre-execution typechecking. --- src/proto/alpha/script_interpreter.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto/alpha/script_interpreter.ml b/src/proto/alpha/script_interpreter.ml index d2f186432..c5d644e62 100644 --- a/src/proto/alpha/script_interpreter.ml +++ b/src/proto/alpha/script_interpreter.ml @@ -512,7 +512,7 @@ and execute ?log origination orig source ctxt storage script amount arg qta = (Lwt.return (parse_ty storage_type)) >>=? fun (Ex_ty storage_type) -> let arg_type_full = Pair_t (Pair_t (Tez_t, arg_type), storage_type) in let ret_type_full = Pair_t (ret_type, storage_type) in - parse_lambda ctxt arg_type_full ret_type_full code >>=? fun lambda -> + parse_lambda ~storage_type ctxt arg_type_full ret_type_full code >>=? fun lambda -> parse_data ctxt arg_type arg >>=? fun arg -> parse_data ctxt storage_type storage >>=? fun storage -> interp ?log origination qta orig source amount ctxt lambda ((amount, arg), storage)