<br><br><div class="gmail_quote">On Tue, Feb 5, 2013 at 11:01 AM, Leo White <span dir="ltr"><<a href="mailto:lpw25@cam.ac.uk" target="_blank">lpw25@cam.ac.uk</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 Feb 5 2013, Hongbo Zhang wrote:\<br></div>
It is similar but not the same. Camlp4 requires you to register a different function for each different quotation context.<br></blockquote><div>It's necessary, the semantics are different in  different syntax categories</div>
</div><br><br clear="all"><div><br></div>-- <br>-- Regards, Hongbo