QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Fix dialyzer warnings

Browse Source
This commit is contained in:
Gaith Hallak 2022-10-23 11:23:28 +03:00
parent ce24f0bc67
commit f9b8114c0c
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/aeso_ast_to_fcode.erl
View File

@ -180,7 +180,7 @@ ast_to_fcode(Code, Options) ->
fun (_, FC) -> optimize(FC, Options) end, fun (_, FC) -> optimize(FC, Options) end,
maps:get(child_con_env, Env1) maps:get(child_con_env, Env1)
)}, )},
Env3 = Env2#{ saved_fresh_names => get(saved_fresh_names) }, Env3 = Env2#{ saved_fresh_names := get(saved_fresh_names) },
clear_fresh_names(), clear_fresh_names(),
clear_saved_fresh_names(), clear_saved_fresh_names(),
{Env3, FCode2}. {Env3, FCode2}.
@ -237,8 +237,9 @@ init_env(Options) ->
["Chain", "ContractCallTx"] => #con_tag{ tag = 20, arities = ChainTxArities }, ["Chain", "ContractCallTx"] => #con_tag{ tag = 20, arities = ChainTxArities },
["Chain", "GAAttachTx"] => #con_tag{ tag = 21, arities = ChainTxArities } ["Chain", "GAAttachTx"] => #con_tag{ tag = 21, arities = ChainTxArities }
}, },
options => Options, options => Options,
functions => #{} functions => #{},
saved_fresh_names => #{}
}. }.
-spec builtins() -> builtins(). -spec builtins() -> builtins().