<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This might be a matter of taste, but I prefer the PPX version, which I can read only by knowing about the Parsetree (which is required anyway to write any such code), a normal OCaml library.  The quotation and anti-quotations in the Camlp4 version look very noisy, and it relies on a syntax I'm not familiar with (revised syntax) and syntactic extensions (quotations/antiquotations), with their own conventions ("<:match_case<", $lid:$). </blockquote>
<div style>This is an interesting point. Actually I have an idea to make it more named antiquotation more tractable, that's instead of allowing antiquote everything, only a lower identifier is allowed to be antiquoted. so</div>
<div style>{:exp| .... $x ....|} (*allowed *)</div><div style>{:exp| ...  $(arbitrary expression ) ||} (* Disallowed*)</div><div style>let a = (arbitrary expression) in </div><div style>{:exp| ...    $a .... |}                             (* written this way*) </div>
<div style><br></div><div style>Based on such simplified antiquotation, named antiquotation is no longer context-sensitive, which means for all syntax categories:</div><div style>$lid:x    -> `Lid (_loc,x)</div><div style>
$uid:x   -> `Uid (_loc,x)</div><div style>....</div><div style><br></div><div style>Such rules should not be hard to remember and quite intuitive. In terms of implementation, I think this is already available in Fan, Camlp4's antiquotation uses both Ant constructor and string mangling, it make some time to implement, but should not be too difficult.</div>
<div style><br></div><div style><br></div><div style><br></div><div style> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="HOEnZb"><font color="#888888"><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
</div></div>