balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Alpha: fix pre-execution typechecking.

Browse Source
This commit is contained in:
Benjamin Canou 2017-06-11 21:39:55 +02:00
parent 68f9851bce
commit afda65fef1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proto/alpha/script_interpreter.ml
View File

@ -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) -> (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 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 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 arg_type arg >>=? fun arg ->
parse_data ctxt storage_type storage >>=? fun storage -> parse_data ctxt storage_type storage >>=? fun storage ->
interp ?log origination qta orig source amount ctxt lambda ((amount, arg), storage) interp ?log origination qta orig source amount ctxt lambda ((amount, arg), storage)