File 9203-erl_eval-Eliminate-old-style-catches.patch of Package erlang
From 2a3bcdd56537fc01480eb901fcb90d0b796bbf85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Sat, 11 Jan 2025 08:23:19 +0100
Subject: [PATCH 3/7] erl_eval: Eliminate old-style catches
While at it, also clean up `eval_str/1`.
---
lib/stdlib/src/erl_eval.erl | 105 ++++++++++++++++++++----------------
1 file changed, 60 insertions(+), 45 deletions(-)
diff --git a/lib/stdlib/src/erl_eval.erl b/lib/stdlib/src/erl_eval.erl
index ed9d945772..944c62a1bc 100644
--- a/lib/stdlib/src/erl_eval.erl
+++ b/lib/stdlib/src/erl_eval.erl
@@ -1800,11 +1798,14 @@ type_test(Test) -> Test.
%% binsize variable).
match(Pat, Term, Anno, Bs, BBs, Ef) ->
- case catch match1(Pat, Term, Bs, BBs, Ef) of
- invalid ->
- apply_error({illegal_pattern,to_term(Pat)}, ?STACKTRACE, Anno, Bs, Ef, none);
- Other ->
- Other
+ try match1(Pat, Term, Bs, BBs, Ef) of
+ Result -> Result
+ catch
+ throw:nomatch ->
+ nomatch;
+ throw:invalid ->
+ apply_error({illegal_pattern,to_term(Pat)}, ?STACKTRACE, Anno,
+ Bs, Ef, none)
end.
string_to_conses([], _, Tail) -> Tail;
@@ -2315,22 +2316,24 @@ is_constant_expr(Expr) ->
end.
eval_expr(Expr) ->
- case catch ev_expr(Expr) of
- X when is_integer(X) -> {ok, X};
- X when is_float(X) -> {ok, X};
+ try ev_expr(Expr) of
+ X when is_number(X) -> {ok, X};
X when is_atom(X) -> {ok,X};
- {'EXIT',Reason} -> {error, Reason};
_ -> {error, badarg}
+ catch
+ error:Reason ->
+ Reason
end.
partial_eval(Expr) ->
Anno = anno(Expr),
- case catch ev_expr(Expr) of
+ try ev_expr(Expr) of
X when is_integer(X) -> ret_expr(Expr,{integer,Anno,X});
- X when is_float(X) -> ret_expr(Expr,{float,Anno,X});
+ X when is_float(X) -> ret_expr(Expr, {float,Anno,X});
X when is_atom(X) -> ret_expr(Expr,{atom,Anno,X});
- _ ->
- Expr
+ _ -> Expr
+ catch
+ error:_ -> Expr
end.
ev_expr({op,_,Op,L,R}) -> erlang:Op(ev_expr(L), ev_expr(R));
@@ -2344,12 +2347,6 @@ ev_expr({tuple,_,Es}) ->
list_to_tuple([ev_expr(X) || X <- Es]);
ev_expr({nil,_}) -> [];
ev_expr({cons,_,H,T}) -> [ev_expr(H) | ev_expr(T)].
-%%ev_expr({call,Anno,{atom,_,F},As}) ->
-%% true = erl_internal:guard_bif(F, length(As)),
-%% apply(erlang, F, [ev_expr(X) || X <- As]);
-%%ev_expr({call,Anno,{remote,_,{atom,_,erlang},{atom,_,F}},As}) ->
-%% true = erl_internal:guard_bif(F, length(As)),
-%% apply(erlang, F, [ev_expr(X) || X <- As]);
%% eval_str(InStr) -> {ok, OutStr} | {error, ErrStr'}
%% InStr must represent a body
@@ -2364,37 +2361,56 @@ ev_expr({cons,_,H,T}) -> [ev_expr(H) | ev_expr(T)].
{'ok', string()} | {'error', string()}.
eval_str(Str) when is_list(Str) ->
- case erl_scan:tokens([], Str, 0) of
- {more, _} ->
- {error, "Incomplete form (missing .<cr>)??"};
- {done, {ok, Toks, _}, Rest} ->
- case all_white(Rest) of
- true ->
- case erl_parse:parse_exprs(Toks) of
- {ok, Exprs} ->
- case catch erl_eval:exprs(Exprs, erl_eval:new_bindings()) of
- {value, Val, _} ->
- {ok, Val};
- Other ->
- {error, ?result("*** eval: ~p", [Other])}
- end;
- {error, {_Location, Mod, Args}} ->
- Msg = ?result("*** ~ts",[Mod:format_error(Args)]),
- {error, Msg}
- end;
- false ->
- {error, ?result("Non-white space found after "
- "end-of-form :~ts", [Rest])}
- end
+ case do_scan_str(Str) of
+ {ok, Toks} ->
+ case erl_parse:parse_exprs(Toks) of
+ {ok, Exprs} ->
+ do_eval_str(Exprs);
+ {error, {_Location, Mod, Args}} ->
+ Msg = ?result("*** ~ts", [Mod:format_error(Args)]),
+ {error, Msg}
+ end;
+ {error, Error} when is_list(Error) ->
+ {error, Error}
end;
eval_str(Bin) when is_binary(Bin) ->
eval_str(binary_to_list(Bin)).
+do_scan_str(Str) ->
+ case erl_scan:tokens([], Str, 0) of
+ {done, {ok, Toks, _}, Rest} ->
+ case all_white(Rest) of
+ true ->
+ {ok, Toks};
+ false ->
+ Fmt = "*** Non-white space found after end-of-form: ~ts",
+ {error, ?result(Fmt, [Rest])}
+ end;
+ {more, _} ->
+ {error, ?result("*** Incomplete form (missing .<cr>?)", [])}
+ end.
+
+do_eval_str(Exprs) ->
+ try exprs(Exprs, erl_eval:new_bindings()) of
+ {value, Val, _} ->
+ {ok, Val}
+ catch
+ error:Reason ->
+ {error, ?result("*** eval failed: ~p",
+ [Reason])};
+ throw:Reason ->
+ {error, ?result("*** eval failed with thrown exception: ~p",
+ [Reason])};
+ exit:Reason ->
+ {error, ?result("*** eval failed with exit exception: ~p",
+ [Reason])}
+ end.
+
all_white([$\s|T]) -> all_white(T);
all_white([$\n|T]) -> all_white(T);
all_white([$\t|T]) -> all_white(T);
-all_white([]) -> true;
-all_white(_) -> false.
+all_white([_|_]) -> false;
+all_white([]) -> true.
ret_expr(_Old, New) ->
%% io:format("~w: reduced ~s => ~s~n",
--
2.51.0
