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

Remove incorrect push for tuple switches

Browse Source
This commit is contained in:
Ulf Norell 2019-04-25 13:22:56 +02:00
parent 9ac5a36265
commit 6806554d77
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/aeso_fcode_to_fate.erl
View File

@ -201,11 +201,10 @@ split_to_scode(Env, {split, {tuple, _}, X, Alts}) ->
{Code, Env1} = match_tuple(Env, Arg, Xs), {Code, Env1} = match_tuple(Env, Arg, Xs),
[Code, split_to_scode(Env1, S)] [Code, split_to_scode(Env1, S)]
end, end,
[aeb_fate_code:push(Arg), case Def == missing andalso Alt /= missing of
case Def == missing andalso Alt /= missing of true -> Alt; % skip the switch if single tuple pattern
true -> Alt; % skip the switch if single tuple pattern false -> [{switch, tuple, [Alt], Def}]
false -> {switch, tuple, [Alt], Def} end;
end];
split_to_scode(Env, {split, boolean, X, Alts}) -> split_to_scode(Env, {split, boolean, X, Alts}) ->
{Def, Alts1} = catchall_to_scode(Env, X, Alts), {Def, Alts1} = catchall_to_scode(Env, X, Alts),
GetAlt = fun(B) -> GetAlt = fun(B) ->