[wg-camlp4] Matching on concrete syntax (was: Re: Camlp4 uses)

[Xavier Clerc]

----- Mail original -----
> On 01/29/2013 05:30 PM, Xavier Clerc wrote:
> > I juste realized that it would probably not be very different
> > from the "-dsource" option you added to compilers...
> 
> This would be the lifted version of -dsource.  -dsource displays a
> source code which would be parsed to the same Parsetree (modulo
> locations).  Here we are talking about displaying code which would
> *evaluate* to the same Parsetree (if it had quotations).

Yes, of course.


Xavier Clerc