From: Markus Mottl <markus.mottl@gmail.com>
To: "Glen Mével" <glen.mevel@crans.org>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Quoted strings and vim-syntax-highlighting
Date: Tue, 1 Mar 2016 16:29:41 -0500 [thread overview]
Message-ID: <CAP_800rUf8tkzaf9WCocdngZFyxe5tYq4Bwy9NPHn09r5_FEFQ@mail.gmail.com> (raw)
In-Reply-To: <56D6004E.1050706@crans.org>
Thanks, Glen, I've added your last proposal to the OCaml syntax file.
Once in a while I submit it for inclusion in Vim.
Regards,
Markus
On Tue, Mar 1, 2016 at 3:49 PM, Glen Mével <glen.mevel@crans.org> wrote:
> hello,
>
> Le 01/03/2016 16:10, Markus Mottl a écrit :
>> It's a known issue, but I'm currently too busy to do anything about
>> it. Please feel free to implement a solution, and I'll add it to the
>> Vim-syntax file for OCaml.
>
> this does the trick:
>
> syn region ocamlString start="{\z\([a-z_]*\)|" end="|\z1}"
>
> for a more complete addition (i put spellchecking because it was already
> set for "" string litterals, not sure if appropriate):
>
> syn region ocamlString matchgroup=ocamlLabel start="{\z\([a-z_]*\)|"
> end="|\z1}" contains=@Spell
>
> or, even neater:
>
> syn region ocamlString matchgroup=ocamlQuotedStringDelim
> start="{\z\([a-z_]*\)|" end="|\z1}" contains=@Spell
>
> with that line in the appropriate place of the syntax file:
>
> HiLink ocamlQuotedStringDelim Identifier
>
> --
> Glen Mével
> this has to be implemented in utop too…
>
--
Markus Mottl http://www.ocaml.info markus.mottl@gmail.com
prev parent reply other threads:[~2016-03-01 21:29 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-03-01 15:03 Oliver Bandel
2016-03-01 15:05 ` Oliver Bandel
2016-03-01 15:07 ` Oliver Bandel
2016-03-01 15:10 ` Markus Mottl
2016-03-01 20:49 ` Glen Mével
2016-03-01 21:29 ` Markus Mottl [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAP_800rUf8tkzaf9WCocdngZFyxe5tYq4Bwy9NPHn09r5_FEFQ@mail.gmail.com \
--to=markus.mottl@gmail.com \
--cc=caml-list@inria.fr \
--cc=glen.mevel@crans.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox