From acf3f9284e7a5a1660a0a0c9ec7fe6b05a91a1e3 Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Thu, 5 Mar 2020 15:38:08 +0000 Subject: [PATCH] More gas for typechecking etc --- vendors/ligo-utils/proto-alpha-utils/init_proto_alpha.ml | 2 +- vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/vendors/ligo-utils/proto-alpha-utils/init_proto_alpha.ml b/vendors/ligo-utils/proto-alpha-utils/init_proto_alpha.ml index 1e0a04566..da331b1e5 100644 --- a/vendors/ligo-utils/proto-alpha-utils/init_proto_alpha.ml +++ b/vendors/ligo-utils/proto-alpha-utils/init_proto_alpha.ml @@ -200,7 +200,7 @@ type environment = { let init_environment () = Context_init.main 10 >>=? fun (tezos_context, accounts, contracts) -> let accounts = List.map fst accounts in - let tezos_context = Alpha_context.Gas.set_limit tezos_context @@ Z.of_int 350000 in + let tezos_context = Alpha_context.Gas.set_limit tezos_context @@ Z.of_int 800000 in let identities = List.map (fun ((a:Context_init.account), c) -> { public_key = a.pk ; diff --git a/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml b/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml index a8f5aa468..06b740983 100644 --- a/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml +++ b/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml @@ -1111,7 +1111,8 @@ type typecheck_res = let typecheck_contract contract = let contract' = Tezos_micheline.Micheline.strip_locations contract in - Script_ir_translator.typecheck_code dummy_environment.tezos_context contract' >>= fun x -> + let ctxt = Raw_context.set_gas_unlimited dummy_environment.tezos_context in + Script_ir_translator.typecheck_code ctxt contract' >>= fun x -> match x with | Ok _res -> return Type_checked | Error (Script_tc_errors.Ill_formed_type (Some "parameter", _code, _)::_) -> return Err_parameter