From b9d018ec35058415719570f0ddc485d7b45750b0 Mon Sep 17 00:00:00 2001 From: radrow Date: Mon, 17 May 2021 08:55:40 +0200 Subject: [PATCH] Please dialyzer --- src/aeso_ast_to_fcode.erl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/aeso_ast_to_fcode.erl b/src/aeso_ast_to_fcode.erl index 8199297..3a965a9 100644 --- a/src/aeso_ast_to_fcode.erl +++ b/src/aeso_ast_to_fcode.erl @@ -346,17 +346,18 @@ to_fcode(Env, [{Contract, Attrs, Con = {con, _, Name}, Decls}|Rest]) state_layout => StateLayout, event_type => EventType, payable => Payable, - functions => add_init_function(Env1, Con, StateType, - add_event_function(Env1, EventType, Funs)) }, + functions => add_init_function( + Env1, Con, StateType, + add_event_function(Env1, EventType, Funs)) }, case Contract of - contract_main -> Rest = [], {Env1, ConFcode}; + contract_main -> [] = Rest, {Env1, ConFcode}; contract_child -> Env2 = add_child_con(Env1, Name, ConFcode), Env3 = Env2#{ functions := PrevFuns }, to_fcode(Env3, Rest) end; true -> - Env1 = decls_to_fcode(Env#{ context => {abstract_contract, Con} }, Decls), + Env1 = decls_to_fcode(Env#{ context => {abstract_contract, Name} }, Decls), to_fcode(Env1, Rest) end; to_fcode(_Env, [NotMain = {NotMainHead, _ ,_ , _}]) when NotMainHead =/= contract_def ->