<div dir="ltr">If you compile some try-catch statements into Core Erlang, you may notice,<div>that it receives three params in exception pattern: <a href="http://tryerl.seriyps.ru/#id=3bf3">http://tryerl.seriyps.ru/#id=3bf3</a><br></div><div><br>this:<br><br></div><div><div>    try foo:bar()</div><div>    catch</div><div>        some:thing -> ok</div><div>    end.<br><br>into this:<br><br><div><span class="" style="white-space:pre">        </span>try</div><div><span class="" style="white-space:pre">        </span>    call 'foo':'bar'</div><div><span class="" style="white-space:pre">             </span>()</div><div><span class="" style="white-space:pre"> </span>of <_cor0> -></div><div><span class="" style="white-space:pre">     </span>    _cor0</div><div><span class="" style="white-space:pre">        </span>catch <_cor3,_cor2,_cor1> -></div><div><span class="" style="white-space:pre">      </span>    case <_cor3,_cor2,_cor1> of</div><div><span class="" style="white-space:pre">    </span>      %% Line 7</div><div><span class="" style="white-space:pre"> </span>      <'some','thing',_cor4> when 'true' -></div><div><span class="" style="white-space:pre">            </span>  'ok'</div><div><span class="" style="white-space:pre">    </span>      ( <_cor3,_cor2,_cor1> when 'true' -></div><div><span class="" style="white-space:pre">             </span>    primop 'raise'</div><div><span class="" style="white-space:pre">                       </span>(_cor1, _cor2)</div><div><span class="" style="white-space:pre">             </span>-| ['compiler_generated'] )</div><div><span class="" style="white-space:pre">        </span>    end<br><br>In "An introduction to Core Erlang" catch described as taking two params: <a href="http://www.erlang.org/workshop/carlsson.ps">http://www.erlang.org/workshop/carlsson.ps</a><br><br></div></div></div><div>Question is: what is this third param (_cor4) for?</div></div>