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

Remove impossible case

Browse Source 
h/t dialyzer
This commit is contained in:
Ulf Norell 2019-11-25 10:42:37 +01:00
parent 6380e04a97
commit bd64260e37
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/aeso_fcode_to_fate.erl
View File

@ -1178,7 +1178,6 @@ r_single_successful_branch({switch, R, Type, Alts, Def}, Code) ->
case push_code_out_of_switch([Def | Alts]) of case push_code_out_of_switch([Def | Alts]) of
{_, none} -> false; {_, none} -> false;
{_, many} -> false; {_, many} -> false;
{_, []} -> false;
{_, [{i, _, switch_body}]} -> false; {_, [{i, _, switch_body}]} -> false;
{[Def1 | Alts1], PushedOut} -> {[Def1 | Alts1], PushedOut} ->
{[{switch, R, Type, Alts1, Def1} | PushedOut], Code} {[{switch, R, Type, Alts1, Def1} | PushedOut], Code}