From: Raphael Proust <raphlalou@gmail.com>
To: oliver <oliver@first.in-berlin.de>
Cc: Pierre Vittet <pierre.vittet@inria.fr>, caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] Vim plugin
Date: Tue, 31 Jan 2012 11:07:53 +0000 [thread overview]
Message-ID: <CAAmHUAkMpFL=-NWWQ5azuFnbwVXp3-mhhjrkhG9GkfjaOaAGJw@mail.gmail.com> (raw)
In-Reply-To: <20120131100224.GA4413@siouxsie>
On Tue, Jan 31, 2012 at 10:02 AM, oliver <oliver@first.in-berlin.de> wrote:
> [...]
>
> Sometimes I had problems with syntax highlighting in OCaml.
> The end of comments was not always displayed correctly colored.
> This was the case, when long and nested comments were used.
> Then the non-comment section sometimes was displayed as
> if it were a comment.
>
> Someone also knows that problem?
>
> Maybe that is another issue that you might be able and interested
> to fix...?!
http://vimdoc.sourceforge.net/htmldoc/syntax.html#:syn-sync-minlines
might be the setting you are looking for.
Also note that some features are not supported by the ocaml vim files
(e.g. first class modules). Coloring (and indenting) will be incorrect
around these constructs.
Cheers,
--
_______
Raphael
next prev parent reply other threads:[~2012-01-31 11:08 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr>
2012-01-30 21:29 ` Pierre Vittet
2012-01-31 8:27 ` Jonathan Protzenko
2012-01-31 10:02 ` oliver
2012-01-31 11:07 ` Raphael Proust [this message]
2012-01-31 11:08 ` Adrien
2012-01-31 11:14 ` Marc Weber
2012-01-31 11:21 ` Matej Košík
2012-01-31 13:36 ` oliver
2012-01-31 14:11 ` Anthony Tavener
2012-01-31 14:49 ` Markus Mottl
2012-02-08 20:17 ` Pierre Vittet
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='CAAmHUAkMpFL=-NWWQ5azuFnbwVXp3-mhhjrkhG9GkfjaOaAGJw@mail.gmail.com' \
--to=raphlalou@gmail.com \
--cc=caml-list@inria.fr \
--cc=oliver@first.in-berlin.de \
--cc=pierre.vittet@inria.fr \
/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;
as well as URLs for NNTP newsgroup(s).