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

Alpha: typecheck_data shouldn't allow big maps

Browse Source
This commit is contained in:
Pierre Chambart 2018-07-18 18:44:47 +02:00 committed by Benjamin Canou
parent 93a5b3fb7d
commit 9bec16b6a2
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/lib_protocol/src/script_ir_translator.ml
View File

@ -2892,7 +2892,7 @@ let typecheck_data
= fun ?type_logger ctxt (data, exp_ty) -> = fun ?type_logger ctxt (data, exp_ty) ->
trace trace
(Ill_formed_type (None, exp_ty, 0)) (Ill_formed_type (None, exp_ty, 0))
(Lwt.return @@ parse_ty ctxt ~allow_big_map:true ~allow_operation:false (root exp_ty)) (Lwt.return @@ parse_ty ctxt ~allow_big_map:false ~allow_operation:false (root exp_ty))
>>=? fun (Ex_ty exp_ty, ctxt) -> >>=? fun (Ex_ty exp_ty, ctxt) ->
trace_eval trace_eval
(fun () -> (fun () ->