Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: oliver <oliver@first.in-berlin.de>
To: Pierre Vittet <pierre.vittet@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] Vim plugin
Date: Tue, 31 Jan 2012 11:02:24 +0100	[thread overview]
Message-ID: <20120131100224.GA4413@siouxsie> (raw)
In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr>

On Mon, Jan 30, 2012 at 10:29:14PM +0100, Pierre Vittet wrote:
> [English version below] 
[...]
> ------------------------- 
> 
> Hello, 
> I don't know if many of you use Vim to write OCaml code. I had to make some change on the official plugin in order to use the annotation as I wanted. I share my modifications in the hope that they can be useful to others : http://www.vim.org/scripts/script.php?script_id=3906. 
> 
> I corrected 2 bugs and add a functionnality allowing to use annotations on every .ml file opened in the editor. Until now, it looks like previously annotation were working only on the first opened OCaml file. 
> 
> I use my modified version without any problem for several weeks. If you try my plugin, please, keep me informed of the eventual bugs. 
[...]


Hello,

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...?!


Ciao,
   Oliver


  parent reply	other threads:[~2012-01-31 10:02 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 [this message]
2012-01-31 11:07     ` Raphael Proust
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=20120131100224.GA4413@siouxsie \
    --to=oliver@first.in-berlin.de \
    --cc=caml-list@inria.fr \
    --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