[wg-camlp4] Changes to the parsetree
hongboz at seas.upenn.edu
Mon Mar 25 21:50:20 GMT 2013
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:
> 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
-- Regards, Hongbo
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the wg-camlp4