[wg-camlp4] My uses of syntax extension

Fabrice Le Fessant Fabrice.Le_fessant at inria.fr
Tue Jan 29 10:19:52 GMT 2013


On 01/28/2013 09:28 PM, Gerd Stolpmann wrote:
> Typographically, $ is a mistake.

Of course, such a convention can provide different sets of delimiters, 
which use would depend on the delimiters used to introduce them.

For example, <$ ... $> would make $ the delimiter, while <? ... ?> would 
make ? the delimiter (just an idea).

> I second Leo's idea to leave it to the preprocessor.

I would strongly argue for a convention that has to be obeyed by all 
preprocessors. If you leave it to the preprocessor, you will have to 
call the preprocessor during the parsing, not during the typing, i.e. 
you won't have access to the typing environment while expanding macros. 
Consequently, your objectives were to be strictly more powerful, but 
your system would actually be strictly less powerful.

--Fabrice
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fabrice_le_fessant.vcf
Type: text/x-vcard
Size: 380 bytes
Desc: not available
URL: <http://lists.ocaml.org/pipermail/wg-camlp4/attachments/20130129/0889ea6e/attachment.vcf>


More information about the wg-camlp4 mailing list