<p dir="ltr">The answer to your question is called f().</p>
<p dir="ltr">Your variables are bound in all future catch statements and won't match.</p>
<p dir="ltr">The errors from compilation is about the *statement*, not the full function. The statement will result in an arithmetic error even if the function won't.</p>
<p dir="ltr">Your third example in the shell leading to the erl_eval:expr/3 result looks like a bug in the shell though. I'm guessing that the shell strips one layer of stack trace to show the original function, but this solution leads to the wrong result when there's an extra level of indirection.</p>
<p dir="ltr">Regards,</p>
<p dir="ltr">Daniel</p>
<div class="gmail_quote">On Sep 16, 2014 6:18 PM, "Tony Rogvall" <<a href="mailto:tony@rogvall.se">tony@rogvall.se</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi!<br>
<br>
Not sure how this is supposed to be, given that there is a shell function called catch_exception/1.<br>
<br>
Running in 17.1 (approx)<br>
<br>
> try throw(x) catch Class:Reason -> {Class,Reason} end.<br>
{throw,x}<br>
<br>
> try exit(2) catch Class:Reason -> {Class,Reason} end.<br>
* exception exit: 2<br>
<br>
> try foo:bar() catch Class:Reason -> {Class,Reason} end.<br>
* exception error: undefined function erl_eval:expr/3<br>
<br>
> try 1/0 catch Class:Reason -> {Class,Reason} end.<br>
* exception error: an error occurred when evaluating an arithmetic expression<br>
<br>
> try (a=b) catch Class:Reason -> {Class,Reason} end.<br>
* exception error: no match of right hand side value b<br>
<br>
Putting the above try expression in a module:<br>
<br>
-module(tryme).<br>
-compile(export_all).<br>
<br>
test1() -><br>
    try throw(x) catch Class:Reason -> {Class,Reason} end.<br>
<br>
test2() -><br>
    try exit(2) catch Class:Reason -> {Class,Reason} end.<br>
<br>
test3() -><br>
    try (a=b) catch Class:Reason -> {Class,Reason} end.<br>
<br>
test4() -><br>
    try 1/0 catch Class:Reason -> {Class,Reason} end.<br>
<br>
test5() -><br>
    try foo:bar() catch Class:Reason -> {Class,Reason} end.<br>
<br>
<br>
First compile:<br>
tryme.erl:11: Warning: no clause will ever match<br>
tryme.erl:14: Warning: this expression will fail with a 'badarith' exception<br>
<br>
On line 11 there are no try clauses, but catch clauses that will always match, so the warning is a bit strange.<br>
And the expression on line 14 is a try, so it will never fail with badarith, possibly return an error tuple lets see:<br>
<br>
> tryme:test1().<br>
{throw,x}<br>
> tryme:test2().<br>
{exit,2}<br>
> tryme:test3().<br>
{error,{badmatch,b}}<br>
> tryme:test4().<br>
{error,badarith}<br>
> tryme:test5().<br>
{error,undef}<br>
<br>
This looks a bit more like I would expect.<br>
<br>
Comments?<br>
<br>
/Tony<br>
<br>
<br>
<br>
<br>
<br>
_______________________________________________<br>
erlang-bugs mailing list<br>
<a href="mailto:erlang-bugs@erlang.org">erlang-bugs@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-bugs" target="_blank">http://erlang.org/mailman/listinfo/erlang-bugs</a><br>
</blockquote></div>