[wg-camlp4] Pending issues
Hezekiah M. Carty
hez at 0ok.org
Tue Feb 12 14:08:34 GMT 2013
On Mon, Feb 11, 2013 at 9:45 AM, Alain Frisch <alain.frisch at lexifi.com> wrote:
>
> 3. Quotations
>
> The more I think about it, the more I believe this concept is orthogonal to
> "extensions". Leo disagrees and would like to have a combined syntax for
> the case where the argument of an extension is a quotation. What do other
> people think? (For me, a quotation is only a way to introduce a string
> literal without "suffering" from the lexical conventions of OCaml.)
>
> For the concrete syntax of quotations, it was suggested to use a form where
> the closing delimiter would be defined by the opening one. This makes it
> possible to "quote" an arbitrary string without having to define a way to
> escape a potential occurrence of the closing delimiter (just pick a
> different one). Example: {xxx{blablabla}xxx}
>
> Do people familiar with implementation of editor modes believe it will be
> easy to support such syntax in emacs or vim modes?
>
Perl's custom quotes are similar and vim handles them well. For
example, q/foo/ and q{foo} are both highlighted properly and would be
roughly equivalent to {{"foo"}}.
Hez
More information about the wg-camlp4
mailing list