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

Alain Frisch alain at frisch.fr
Tue Jan 29 16:33:55 GMT 2013


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).


-- Alain


More information about the wg-camlp4 mailing list