[wg-camlp4] Changes to the parsetree

Mike McClurg mike.mcclurg at gmail.com
Tue Mar 26 15:15:52 GMT 2013

Hi Alain,

Thanks for writing up that proposal. Is the code in your extension_points
branch ready for testing at all yet?

On a separate note, might it be a good idea to add an opam-repo-dev
repository to github.com/ocaml, 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?


On Mon, Mar 25, 2013 at 6:49 PM, Alain Frisch <alain.frisch at lexifi.com>wrote:

> On 03/25/2013 03:13 PM, jathdr wrote:
>> Could we get a summary of the current syntax proposal? I've been
>> following along, but I'm a bit lost as to what has been discussed,
>> accepted, rejected, etc.
> This file describes the current syntax proposal:
> http://caml.inria.fr/cgi-bin/**viewvc.cgi/ocaml/branches/**
> extension_points/experimental/**frisch/extension_points.txt?**
> revision=HEAD&view=markup<http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/branches/extension_points/experimental/frisch/extension_points.txt?revision=HEAD&view=markup>
>  This is probably a bit off topic, but while we're talking about
>> interval patterns: I discovered the other day that interval patterns
>> only work for chars, while I always assumed they also worked for
>> ints. Is there a reason why they don't?
> 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.
> -- Alain
> ______________________________**_________________
> wg-camlp4 mailing list
> wg-camlp4 at lists.ocaml.org
> http://lists.ocaml.org/**listinfo/wg-camlp4<http://lists.ocaml.org/listinfo/wg-camlp4>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/wg-camlp4/attachments/20130326/08db427c/attachment.html>

More information about the wg-camlp4 mailing list