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

Minor code simplification

Browse Source
This commit is contained in:
Ulf Norell 2019-05-10 12:29:02 +02:00
parent 1ae5974762
commit a542612c9f
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/aeso_fcode_to_fate.erl
View File

@ -241,7 +241,7 @@ to_scode(Env, {remote, Ct, Fun, [{builtin, call_gas_left, _}, Value | Args]}) ->
Call = if Env#env.tailpos -> aeb_fate_code:call_tr(?a, Lbl, ?a); Call = if Env#env.tailpos -> aeb_fate_code:call_tr(?a, Lbl, ?a);
true -> aeb_fate_code:call_r(?a, Lbl, ?a) true -> aeb_fate_code:call_r(?a, Lbl, ?a)
end, end,
call_to_scode(Env, [to_scode(Env, Value), to_scode(Env, Ct), Call], Args); call_to_scode(Env, Call, [Ct, Value | Args]);
to_scode(Env, {remote, Ct, Fun, [Gas, Value | Args]}) -> to_scode(Env, {remote, Ct, Fun, [Gas, Value | Args]}) ->
%% Gas is limited. %% Gas is limited.
@ -249,10 +249,7 @@ to_scode(Env, {remote, Ct, Fun, [Gas, Value | Args]}) ->
Call = if Env#env.tailpos -> aeb_fate_code:call_gtr(?a, Lbl, ?a, ?a); Call = if Env#env.tailpos -> aeb_fate_code:call_gtr(?a, Lbl, ?a, ?a);
true -> aeb_fate_code:call_gr(?a, Lbl, ?a, ?a) true -> aeb_fate_code:call_gr(?a, Lbl, ?a, ?a)
end, end,
call_to_scode(Env, [to_scode(Env, Gas), call_to_scode(Env, Call, [Ct, Value, Gas | Args]);
to_scode(Env, Value),
to_scode(Env, Ct), Call],
Args);
to_scode(Env, {closure, Fun, FVs}) -> to_scode(Env, {closure, Fun, FVs}) ->
to_scode(Env, {tuple, [{lit, {string, make_function_name(Fun)}}, FVs]}); to_scode(Env, {tuple, [{lit, {string, make_function_name(Fun)}}, FVs]});