[wg-camlp4] Changes to the parsetree

Hongbo Zhang hongboz at seas.upenn.edu
Mon Mar 25 21:50:20 GMT 2013

Hi Alain,
  I am a bit busy this week, but I would like to follow the discussion and
give some feedback next week, Thanks
On Mon, Mar 25, 2013 at 2: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>

-- Regards, Hongbo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/wg-camlp4/attachments/20130325/bf0eb737/attachment.html>

More information about the wg-camlp4 mailing list