<div dir="ltr">If I recall correctly, it was initially decided to keep the set of safe variables conservative when try/catch was added. It could be relaxed to allow this case.</div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><br>        /Richard</div></div>
<br><div class="gmail_quote">2018-06-28 12:08 GMT+02:00 Peti Gömöri <span dir="ltr"><<a href="mailto:gomoripeti@gmail.com" target="_blank">gomoripeti@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<div><br></div><div>I understand that passing variables between different blocks of a try catch expression is mostly unsafe, because in case of expressions it is not guaranteed that the variable binding actually happened.</div><div><br></div><div>But why using a variable in a clause after "of" that is bound in the block after "try" is marked as unsafe by the compiler?</div><div>For example:</div><div><br></div><div>```</div><div><div>f() -></div><div>    try</div><div>        {A, B} = a:b(),</div><div>        A</div><div>    of</div><div>        ok -></div><div>            B %% unsafe ???</div><div>    catch _:_ -></div><div>            a:b()</div><div>    end.</div></div><div>```</div><div><br></div><div>thanks</div><div>Peter</div></div>
<br>______________________________<wbr>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
<br></blockquote></div><br></div>