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

Dead code removal

Browse Source
This commit is contained in:
Gaith Hallak 2022-11-09 12:58:02 +03:00
parent 81fc1de479
commit 5046c08b9f
1 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/aeso_ast_to_fcode.erl
View File

@ -1546,7 +1546,6 @@ simplify(Env, {proj, _, {var, X}, I} = Expr) ->
simplify(Env, {switch, Split}) -> simplify(Env, {switch, Split}) ->
case simpl_switch(Env, [], Split) of case simpl_switch(Env, [], Split) of
nomatch -> {builtin, abort, [{lit, {string, <<"Incomplete patterns">>}}]}; nomatch -> {builtin, abort, [{lit, {string, <<"Incomplete patterns">>}}]};
stuck -> {switch, Split};
Expr -> Expr Expr -> Expr
end; end;
@ -1596,21 +1595,17 @@ nest_catchalls([C = {'case', {var, _}, {nosplit, _}} | _]) -> C;
nest_catchalls([{'case', P = {var, _}, {split, Type, X, Alts}} | Catchalls]) -> nest_catchalls([{'case', P = {var, _}, {split, Type, X, Alts}} | Catchalls]) ->
{'case', P, {split, Type, X, add_catchalls(Alts, Catchalls)}}. {'case', P, {split, Type, X, add_catchalls(Alts, Catchalls)}}.
-spec simpl_switch(expr_env(), [fcase()], fsplit()) -> fexpr() | stuck | nomatch. -spec simpl_switch(expr_env(), [fcase()], fsplit()) -> fexpr() | nomatch.
simpl_switch(_Env, _, {nosplit, E}) -> E; simpl_switch(_Env, _, {nosplit, E}) -> E;
simpl_switch(Env, Catchalls, {split, Type, X, Alts}) -> simpl_switch(Env, Catchalls, {split, Type, X, Alts}) ->
Alts1 = add_catchalls(Alts, Catchalls), Alts1 = add_catchalls(Alts, Catchalls),
Stuck = {switch, {split, Type, X, Alts1}}, Stuck = {switch, {split, Type, X, Alts1}},
case constructor_form(Env, {var, X}) of case constructor_form(Env, {var, X}) of
false -> Stuck; false -> Stuck;
E -> E -> simpl_case(Env, E, Alts1)
case simpl_case(Env, E, Alts1) of
stuck -> Stuck;
Res -> Res
end
end. end.
-spec simpl_case(expr_env(), fexpr(), [fcase()]) -> fexpr() | stuck | nomatch. -spec simpl_case(expr_env(), fexpr(), [fcase()]) -> fexpr() | nomatch.
simpl_case(_, _, []) -> nomatch; simpl_case(_, _, []) -> nomatch;
simpl_case(Env, E, [{'case', Pat, Body} | Alts]) -> simpl_case(Env, E, [{'case', Pat, Body} | Alts]) ->
case match_pat(Pat, E) of case match_pat(Pat, E) of
@ -1619,7 +1614,6 @@ simpl_case(Env, E, [{'case', Pat, Body} | Alts]) ->
Env1 = maps:merge(Env, maps:from_list(Binds)), Env1 = maps:merge(Env, maps:from_list(Binds)),
case simpl_switch(Env1, get_catchalls(Alts), Body) of case simpl_switch(Env1, get_catchalls(Alts), Body) of
nomatch -> simpl_case(Env, E, Alts); nomatch -> simpl_case(Env, E, Alts);
stuck -> stuck;
Body1 -> let_bind(Binds, Body1) Body1 -> let_bind(Binds, Body1)
end end
end. end.