[wg-camlp4] My uses of syntax extension

Leo White lpw25 at cam.ac.uk
Mon Jan 28 17:07:02 GMT 2013


>You would probably want to have "$$" => "$" to escape it, and
>something similar for "<:" and ">>".
>
>I think you have two sets of alternative levels, i.e. "even" and "odd" 
>levels, $...$ can only appear in "even" levels, and <:...<...>> in "odd" 
>levels, so you only need to escape delimiters in the levels where they 
>can appear, no ?

I think it would be better to leave parsing anti-quotations to the 
quotations themselves, rather than forcing everyone to use $...$. For many 
situations $...$ is much more heavyweight syntax than necessary.



More information about the wg-camlp4 mailing list