[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"}}.


More information about the wg-camlp4 mailing list