<br><br><div class="gmail_quote">On Mon, Jan 28, 2013 at 12:55 PM, Alain Frisch <span dir="ltr"><<a href="mailto:alain@frisch.fr" target="_blank">alain@frisch.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 01/28/2013 06:13 PM, David Waern wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
OK. I've also wanted similar syntax, but I've noticed that if Alain's<br>
"static exceptions" [1] proposal is accepted then encoding such things<br>
using existing OCaml syntax becomes a bit lighter:<br>
<br>
try raise (`Cont expr) with<br>
| `Cont n -> expr<br>
| handlers<br>
</blockquote>
<br></div>
As a side note, this encoding with static exceptions is also much more efficient (no allocation required to escape from the exception handler).<br>
<br></blockquote><div>I second this suggestion , this is so useful that I can not live without it</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Still, this is a good example.  One might indeed want to use a dedicated syntax for this common idiom.  My preference would be for extending the official language to support it directly.  If one thinks it is generally useful, why not put it in the language itself?  It is not difficult to extend OCaml to support it directly.<br>

<br>
If the proposal is rejected but we have let-fix operators, one can decide to have a -ppx rewriter detecting and rewriting the following form:<br>
<br>
let? x = try e1 with p -> e2 in<br>
e3<span class="HOEnZb"><font color="#888888"><br>
<br>
<br>
-- Alain</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
wg-camlp4 mailing list<br>
<a href="mailto:wg-camlp4@lists.ocaml.org" target="_blank">wg-camlp4@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/wg-camlp4" target="_blank">http://lists.ocaml.org/<u></u>listinfo/wg-camlp4</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>-- Regards, Hongbo