<div dir="ltr"><div>Hi Alain,<br><br>Thanks for writing up that proposal. Is the code in your extension_points branch ready for testing at all yet?<br><br>On a separate note, might it be a good idea to add an opam-repo-dev repository to <a href="http://github.com/ocaml">github.com/ocaml</a>, which would provide opam switches for all the experimental OCaml branches, such as extension_points? Or is there such an experimental opam repo out there already?<br>
<br></div>Mike<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 25, 2013 at 6:49 PM, Alain Frisch <span dir="ltr"><<a href="mailto:alain.frisch@lexifi.com" target="_blank">alain.frisch@lexifi.com</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 03/25/2013 03:13 PM, jathdr wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Could we get a summary of the current syntax proposal? I've been<br>
following along, but I'm a bit lost as to what has been discussed,<br>
accepted, rejected, etc.<br>
</blockquote>
<br></div>
This file describes the current syntax proposal:<br>
<br>
<a href="http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/extension_points/experimental/frisch/extension_points.txt?revision=HEAD&view=markup" target="_blank">http://caml.inria.fr/cgi-bin/<u></u>viewvc.cgi/ocaml/branches/<u></u>extension_points/experimental/<u></u>frisch/extension_points.txt?<u></u>revision=HEAD&view=markup</a><div class="im">
<br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This is probably a bit off topic, but while we're talking about<br>
interval patterns: I discovered the other day that interval patterns<br>
only work for chars, while I always assumed they also worked for<br>
ints. Is there a reason why they don't?<br>
</blockquote>
<br></div>
Currently, range patterns for characters are expanded in the parser. Doing so for integers as well could lead to huge or-patterns to be processed by the rest of the compiler.  Supporting range patterns directly in the compiler would add a little bit of extra complexity for type-checking (exhaustiveness check) and code generation.  I don't see any theoretical problem, though.<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></div>