From a91ff6adbd83a0416d34c0425666a55733d14308 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Wed, 8 Mar 2023 13:23:10 +0300 Subject: [PATCH] List only needed attributes --- src/aeso_fcode_to_fate.erl | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl index 8c29e2e..9c8b908 100644 --- a/src/aeso_fcode_to_fate.erl +++ b/src/aeso_fcode_to_fate.erl @@ -115,13 +115,7 @@ functions_to_scode(ChildContracts, ContractName, Functions, SavedFreshNames, Opt function_to_scode(ChildContracts, ContractName, Functions, Name, Attrs0, Args, Body, ResType, SavedFreshNames, Options) -> {ArgTypes, ResType1} = typesig_to_scode(Args, ResType), - FilterAttrs = - fun(stateful) -> false; %% Only track private and payable from here - ({file, _}) -> false; %% This is useful only for DBG_LOC op - ({line, _}) -> false; %% This is useful only for DBG_LOC op - (_) -> true - end, - Attrs = lists:filter(FilterAttrs, Attrs0), + Attrs = [ A || A <- Attrs0, A == private orelse A == payable ], Env = init_env(ChildContracts, ContractName, Functions, Name, Args, SavedFreshNames, Options), ArgsNames = [ X || {X, _} <- lists:reverse(Env#env.vars) ], SCode = dbg_scoped_vars(Env, ArgsNames, dbg_loc(Env, Attrs0) ++ to_scode(Env, Body)),