From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0ULTJZx006672 for ; Mon, 30 Jan 2012 22:29:19 +0100 X-IronPort-AV: E=Sophos;i="4.71,592,1320620400"; d="scan'208,217";a="142112944" Received: from zmbs2.inria.fr ([128.93.142.15]) by mail1-relais-roc.national.inria.fr with ESMTP; 30 Jan 2012 22:29:14 +0100 Date: Mon, 30 Jan 2012 22:29:14 +0100 (CET) From: Pierre Vittet To: caml-list@inria.fr Message-ID: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> In-Reply-To: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_596572_1546040548.1327958954684" X-Originating-IP: [82.67.111.28] X-Mailer: Zimbra 6.0.14_GA_2928 (ZimbraWebClient - FF3.0 (Linux)/6.0.14_GA_2928) X-Validation-by: pierre.vittet@inria.fr Subject: [Caml-list] [ANN] Vim plugin ------=_Part_596572_1546040548.1327958954684 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable [English version below]=20 Bonjour,=20 Je ne sais pas si beaucoup d'entre vous utilise Vim pour coder en OCaml. J'= ai eu besoin de faire quelques modifications sur le greffon officiel pour p= ouvoir utiliser pleinement les annotations. Je partage donc mes modificatio= ns pour le cas ou elles soient utiles =E0 d'autres: http://www.vim.org/scri= pts/script.php?script_id=3D3906.=20 J'ai corrig=E9 2 bogues et rajout=E9 une fonctionnalit=E9 permettant d'util= iser les annotations avec l'ensemble des fichiers .ml ouverts. Jusqu'=E0 pr= =E9sent il semble que les annotations ne fonctionnaient que sur le premier = fichier ouvert.=20 J'utilise ma version modifi=E9e depuis plusieurs semaines sans probl=E8me.= =20 Si vous essayez mon greffon, je vous remercie de me faire un retour (sur le= s bogues ou leur absence).=20 Merci=20 Pierre Vittet=20 -------------------------=20 Hello,=20 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 : ht= tp://www.vim.org/scripts/script.php?script_id=3D3906.=20 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 an= notation were working only on the first opened OCaml file.=20 I use my modified version without any problem for several weeks. If you try= my plugin, please, keep me informed of the eventual bugs.=20 Thanks=20 Pierre Vittet= ------=_Part_596572_1546040548.1327958954684 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable <= div style=3D'font-family: Times New Roman; font-size: 12pt; color: #000000'= >[English version below]

Bonjour,
Je ne sais pas si beaucoup d'en= tre vous utilise Vim pour coder en OCaml. J'ai eu besoin de faire quelques = modifications sur le greffon officiel pour pouvoir utiliser pleinement les = annotations. Je partage donc mes modifications pour le cas ou elles soient = utiles =E0 d'autres: http://www.vim.org/scripts/script.php?script_id=3D3906= .

J'ai corrig=E9 2 bogues et rajout=E9 une fonctionnalit=E9 permetta= nt d'utiliser les annotations avec l'ensemble des fichiers .ml ouverts. Jus= qu'=E0 pr=E9sent il semble que les annotations ne fonctionnaient que sur le= premier fichier ouvert.

J'utilise ma version modifi=E9e depuis plus= ieurs semaines sans probl=E8me.
Si vous essayez mon greffon, je vous re= mercie de me faire un retour (sur les bogues ou leur absence).

Merci=
Pierre Vittet

-------------------------

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://ww= w.vim.org/scripts/script.php?script_id=3D3906.

I corrected 2 bugs an= d 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 with= out any problem for several weeks. If you try my plugin, please, keep me in= formed of the eventual bugs.

Thanks
Pierre Vittet= ------=_Part_596572_1546040548.1327958954684-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0V8S86V029540 for ; Tue, 31 Jan 2012 09:28:08 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AikBADylJ0/RVdS2kGdsb2JhbAApGoULqUsIIgEBAQEJCQ0HFAQhgXIBAQEEEgIPDwEFCAEbHAEBAwwGBQsNAgIFFgsCAgkDAgECARERAQUBHAYNAQcBAQUZh2Mpm0IKiyNIgnCFAT+IcQIFC4EkiVMBBwICCQUNBAYBAQFFgnIZBAMMAxQFVwqCTYEWBJUehVeBOYcGPYQA X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; d="scan'208";a="129497737" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 09:28:03 +0100 Received: by wibhn14 with SMTP id hn14so6590654wib.27 for ; Tue, 31 Jan 2012 00:28:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=6pZE+4V/+SBWiU9Xp8BowTVhTYxiV9Vqj6710J1yFjo=; b=XEl39zA2huX5tjCiM7X5ZrLuNZ/UirsQSYYFG02fbLSXAxU7PoUqc6ORNIWCj6rwHb QnX9Gt9ebNS3j8c/wjKrrHNuCbus7LPxkaMleIeEWUctBR0ztE3/82YG0l/WvwXURBNo Vum4iKjK5Eq5RVC8QyeS0dFB/lxxBpZSePjrg= Received: by 10.180.108.232 with SMTP id hn8mr32880600wib.16.1327998481426; Tue, 31 Jan 2012 00:28:01 -0800 (PST) Received: from [128.93.11.91] (sauternes.inria.fr. [128.93.11.91]) by mx.google.com with ESMTPS id bj10sm35660291wib.9.2012.01.31.00.27.59 (version=SSLv3 cipher=OTHER); Tue, 31 Jan 2012 00:28:00 -0800 (PST) Message-ID: <4F27A60D.2070407@gmail.com> Date: Tue, 31 Jan 2012 09:27:57 +0100 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0a1) Gecko/20120125 Thunderbird/12.0a1 MIME-Version: 1.0 To: Pierre Vittet CC: caml-list@inria.fr References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] Vim plugin I think Xavier heard me scream quite a few times when the ocaml plugin screwed up my buffers, so many thanks for fixing this. So far, I haven't had any problem. I strongly encourage you to push your changes to the official vim distribution, so that everyone can benefit from your fixes. Thanks again, jonathan On Mon 30 Jan 2012 10:29:14 PM CET, Pierre Vittet wrote: > [English version below] > > Bonjour, > Je ne sais pas si beaucoup d'entre vous utilise Vim pour coder en > OCaml. J'ai eu besoin de faire quelques modifications sur le greffon > officiel pour pouvoir utiliser pleinement les annotations. Je partage > donc mes modifications pour le cas ou elles soient utiles à d'autres: > http://www.vim.org/scripts/script.php?script_id=3906. > > J'ai corrigé 2 bogues et rajouté une fonctionnalité permettant > d'utiliser les annotations avec l'ensemble des fichiers .ml ouverts. > Jusqu'à présent il semble que les annotations ne fonctionnaient que > sur le premier fichier ouvert. > > J'utilise ma version modifiée depuis plusieurs semaines sans problème. > Si vous essayez mon greffon, je vous remercie de me faire un retour > (sur les bogues ou leur absence). > > Merci > Pierre Vittet > > ------------------------- > > 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. > > Thanks > Pierre Vittet From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VA2Vw4032657 for ; Tue, 31 Jan 2012 11:02:31 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgQCAIq7J0/AbSoIe2dsb2JhbAApGoULqVMiAQEWJgQhgXIBAQUjVhALCQ8CAiYCAhQYMRyHdgYppmiRcxOBHIlZAgIdBAYBLgQPBoQPDQUEgkMzYwSNW4dCklQ X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; d="scan'208";a="129514027" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Jan 2012 11:02:25 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178013244.adsl.alicedsl.de [85.178.13.244]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q0VA2O7X030947 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Tue, 31 Jan 2012 11:02:24 +0100 Received: by first (Postfix, from userid 1000) id 20D1D154036F; Tue, 31 Jan 2012 11:02:24 +0100 (CET) Date: Tue, 31 Jan 2012 11:02:24 +0100 From: oliver To: Pierre Vittet Cc: caml-list@inria.fr Message-ID: <20120131100224.GA4413@siouxsie> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] [ANN] Vim plugin 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VB81kS012812 for ; Tue, 31 Jan 2012 12:08:01 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArMBAPXKJ0/RVdK2kWdsb2JhbABDhQupTAgiAQEBAQkJDQcSJ4FyAQEBBBICDx0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhMih2ObVQqLI0iCcIUJP4hxAgULgSSJSw4CAgIIAQEEDQQGAQsBCAUDAwkFDAIJA4QbC4JCgRYElR6OFj2Dfw X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; d="scan'208";a="129525912" Received: from mail-iy0-f182.google.com ([209.85.210.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 12:07:55 +0100 Received: by iaeo4 with SMTP id o4so11780878iae.27 for ; Tue, 31 Jan 2012 03:07:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=3+lDpakw+SfAW5xtKltYiRr+pydQk2MTahKIwcXiO78=; b=COwHdEwf+OYErIqhGKcTPt7lnpviT2lgbwNMUbxnO+FhWvJpHTXIteiYoWXiWB1ZSj hC75aTDvcsswSeKpIcvPR7QQ73zN1nAt8QKZkzvYmlzp1rUFNi7x/HeUF5kk/PY57WU9 PZ2X4IveWxW0l82857lp3UtE8mB6JXIEWDFuM= MIME-Version: 1.0 Received: by 10.42.161.70 with SMTP id s6mr16770492icx.48.1328008073285; Tue, 31 Jan 2012 03:07:53 -0800 (PST) Received: by 10.43.48.196 with HTTP; Tue, 31 Jan 2012 03:07:53 -0800 (PST) In-Reply-To: <20120131100224.GA4413@siouxsie> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> <20120131100224.GA4413@siouxsie> Date: Tue, 31 Jan 2012 11:07:53 +0000 Message-ID: From: Raphael Proust To: oliver Cc: Pierre Vittet , caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] [ANN] Vim plugin On Tue, Jan 31, 2012 at 10:02 AM, oliver 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VB8MjS012960 for ; Tue, 31 Jan 2012 12:08:22 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBAB3LJ09KfVM2kGdsb2JhbABDrlcIIgEBAQEJCQ0HFAQhgXIBAQEEEgIsARsdAQMMBgULDS4iAREBBQEcBhMiozgKi2uCcIUJP4hxAgULinwCAQICCQICAQYHBAYBCA0OCgwCCQMBhBoLg1gEjVuHQ44WPYQA X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; d="scan'208";a="142187834" Received: from mail-ee0-f54.google.com ([74.125.83.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 12:08:16 +0100 Received: by eekb47 with SMTP id b47so2086808eek.27 for ; Tue, 31 Jan 2012 03:08:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=rBWd8bAH8zZ5+mAD10q9xnFFnAIjm337aaa4mQ9NejM=; b=Bn5Qnv/P5xXB//S5hB+sv7LwOFhZIrz/ikHXMVnZsHELewKlr3KNpHMhFGSFsarcxp gHVztFjM4e0g3l2n5se9sVwrHZh8iB/pZaZQ8djMVLX+WoODsiqcRVrC8n84uC39UUiK zEyw/tc6tOsoWCUl1I10RlITgoYHzBAraUa1c= MIME-Version: 1.0 Received: by 10.14.97.134 with SMTP id t6mr345346eef.117.1328008096520; Tue, 31 Jan 2012 03:08:16 -0800 (PST) Received: by 10.213.4.68 with HTTP; Tue, 31 Jan 2012 03:08:16 -0800 (PST) In-Reply-To: <20120131100224.GA4413@siouxsie> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> <20120131100224.GA4413@siouxsie> Date: Tue, 31 Jan 2012 12:08:16 +0100 Message-ID: From: Adrien To: oliver Cc: Pierre Vittet , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] [ANN] Vim plugin On 31/01/2012, oliver 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...?! Hello, I've had the issue with long comments too but I think it's not specific to the ocaml highlighting: if you move around (forcing some kind of refresh when doing so), you will probably recover the proper highlighting (gg'' might be enough). Regards, Adrien Nader From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VBElxE013342 for ; Tue, 31 Jan 2012 12:14:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AooCAKDLJ0/VpUAWlGdsb2JhbABDhQuaaY8NAQEBAQkLCQkUAyKBcgEBBSMPARYlGwsaAhgOAgIQRwaIEpwSinSReIEviWIBBQICAggBAQQNBAYBKhMCBQOEIQSCQ4EWBJsGjG8 X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; d="scan'208";a="129526875" Received: from mailout-de.gmx.net ([213.165.64.22]) by mail4-smtp-sop.national.inria.fr with SMTP; 31 Jan 2012 12:14:41 +0100 Received: (qmail invoked by alias); 31 Jan 2012 11:14:36 -0000 Received: from g227032181.adsl.alicedsl.de (EHLO mail.gmx.net) [92.227.32.181] by mail.gmx.net (mp034) with SMTP; 31 Jan 2012 12:14:36 +0100 X-Authenticated: #9006135 X-Provags-ID: V01U2FsdGVkX190K5FBq7x0/71Yj7dD0+NXBoIoQCksiRSmlu8+XM zfiUUBieOGzuRQ Received: by mail.gmx.net (sSMTP sendmail emulation); Tue, 31 Jan 2012 12:14:36 +0100 Content-Type: text/plain; charset=UTF-8 From: Marc Weber To: caml-list In-reply-to: References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> <20120131100224.GA4413@siouxsie> Date: Tue, 31 Jan 2012 12:14:36 +0100 Message-Id: <1328008276-sup-8343@nixos> User-Agent: Sup/git Content-Transfer-Encoding: 8bit X-Y-GMX-Trusted: 0 Subject: Re: [Caml-list] [ANN] Vim plugin Excerpts from Adrien's message of Tue Jan 31 12:08:16 +0100 2012: > I've had the issue with long comments too but I think it's not > specific to the ocaml highlighting: if you move around (forcing some > kind of refresh when doing so), you will probably recover the proper > highlighting (gg'' might be enough). ctrl-l is the way to refresh the display usually. Also settings like synmaxcol affect length of highlighting. Its limited for speed reasons. The best way to contribute changes is a) try to contact the maintainer b) if he doesn't reply - send patches to vim mailinglist else) upload your changes to www.vim.org as script. ~/.vim/* files are read before $VIMRUNTIME files. Using a plugin manager such as vim-addon-manager, vundle, pathogen it should be easy to keep up to date with additional repositories. Marc Weber From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VBLnXw013943 for ; Tue, 31 Jan 2012 12:21:49 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUEAEjOJ0/RVdS2kGdsb2JhbABDgihlgX6oV3UIIgEBAQEJCQ0HFAQhgXIBAQEEEgIPHQEbHAIDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcEwYCAQEeh12bVAqLJEiCcIUJP4hxAgULgSSHcYFxAQUCAgIIAQEEDQQGAUeCchkEAwwDFAVXCgs8ggaBFgSVIIVXgTmHBz2EAA X-IronPort-AV: E=Sophos;i="4.71,595,1320620400"; d="scan'208";a="129527902" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 12:21:49 +0100 Received: by wibhn14 with SMTP id hn14so6779535wib.27 for ; Tue, 31 Jan 2012 03:21:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=LAHBmb4Ytc27RRDehE2NYJocwdUtnQ2gCGAZ6eh8xFs=; b=VxL7q36nkHYcse5uuBeDuBfYeffE+nGQ9WZW1C0Zm/CS0cBDOrnrBX7b2dmdr777GG dt+l8YgkGlvCfgniM0Nvqkz/tuqaO15lIMtoLvHGTA8hdsHstooN7vV/x/v2/vDgZOKw 0FkbLrlZX95Y1Sa3YiRV+eBMSoFuzlrEZuzWs= Received: by 10.180.99.100 with SMTP id ep4mr33891809wib.7.1328008909080; Tue, 31 Jan 2012 03:21:49 -0800 (PST) Received: from [172.27.6.159] ([213.106.240.92]) by mx.google.com with ESMTPS id y1sm10305781wiw.6.2012.01.31.03.21.48 (version=SSLv3 cipher=OTHER); Tue, 31 Jan 2012 03:21:48 -0800 (PST) Message-ID: <4F27CECC.1010500@gmail.com> Date: Tue, 31 Jan 2012 11:21:48 +0000 From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111222 Thunderbird/9.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> <20120131100224.GA4413@siouxsie> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] [ANN] Vim plugin On 01/31/2012 11:08 AM, Adrien wrote: > On 31/01/2012, oliver 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...?! > > Hello, > > I've had the issue with long comments too but I think it's not > specific to the ocaml highlighting: if you move around (forcing some > kind of refresh when doing so), you will probably recover the proper > highlighting (gg'' might be enough). I can confirm this. Probably a related problem is that if you go to an end of some long-enough function (you can try 300-lines-long function); if you leave vim; reenter vim (or switch to another buffer and switch back), you will be viewing again end of the long function but syntax-highlighting will be "out of sync". As if syntax-highlighter did not go backward enough to be able to interprete meaning of the tokens that you are viewing. From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VDacJA017501 for ; Tue, 31 Jan 2012 14:36:38 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkICAI7tJ0/AbSoIe2dsb2JhbABEhQupVSIBARYmBCGBcgEBBSNWEAsJDwICJgICFBgxE4d/pwSRehOBHIloAgIdBAYBLgQPAwOEDw0FBIJDM2MEjVuHRJJW X-IronPort-AV: E=Sophos;i="4.71,596,1320620400"; d="scan'208";a="129545661" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Jan 2012 14:36:33 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178013244.adsl.alicedsl.de [85.178.13.244]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q0VDaV03023288 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Tue, 31 Jan 2012 14:36:32 +0100 Received: by first (Postfix, from userid 1000) id 9DC81154036F; Tue, 31 Jan 2012 14:36:31 +0100 (CET) Date: Tue, 31 Jan 2012 14:36:31 +0100 From: oliver To: Adrien Cc: Pierre Vittet , caml-list@inria.fr Message-ID: <20120131133631.GA1875@siouxsie> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> <20120131100224.GA4413@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] [ANN] Vim plugin On Tue, Jan 31, 2012 at 12:08:16PM +0100, Adrien wrote: > On 31/01/2012, oliver 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...?! > > Hello, > > I've had the issue with long comments too but I think it's not > specific to the ocaml highlighting: if you move around (forcing some > kind of refresh when doing so), you will probably recover the proper > highlighting (gg'' might be enough). [...] Yes, I sometimes scrolled down and up or vice versa and it solved the problem. But this can become annoying... Ciao, Oliver From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VEBJGL018950 for ; Tue, 31 Jan 2012 15:11:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYBAA/2J09KfVI0imdsb2JhbAApGoJNrAsIIgEBAQoJDQcSBiGBcgEBAQQSAiwBGx4DDAYFBAc7IgERAQUBHBkJGYdjKZsyCotsgnCFEj+IcQIFC4sWGgkBKwwCg0oIBwdHC4NYBIJbhWWMYI4XPYJSgU4 X-IronPort-AV: E=Sophos;i="4.71,596,1320620400"; d="scan'208";a="129550815" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 15:11:05 +0100 Received: by wgbds10 with SMTP id ds10so351664wgb.9 for ; Tue, 31 Jan 2012 06:11:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=VjMw5U3MFtIVrsUMaL/oTnA9/B/INjW9axi28xYlFnE=; b=q/s3xXxMprsIy9FJzsMLtWqM11j3puYYaWvOLrDNEgFZACcLCsW21RhzwN3/zlX6ah gsc4sBiTVtty2aBB3JYqUijNNhMNWQM0sqN4gH3mCO15llLxLGoVWYOIgb3uwdALAE10 kEUUxHQZ5m+NwtS7UDf2fS7ipY3DkAifp064g= MIME-Version: 1.0 Received: by 10.180.83.104 with SMTP id p8mr4051336wiy.4.1328019065351; Tue, 31 Jan 2012 06:11:05 -0800 (PST) Received: by 10.223.7.69 with HTTP; Tue, 31 Jan 2012 06:11:05 -0800 (PST) In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> Date: Tue, 31 Jan 2012 07:11:05 -0700 Message-ID: From: Anthony Tavener To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=f46d044289eea52fc304b7d388c8 Subject: Re: [Caml-list] [ANN] Vim plugin --f46d044289eea52fc304b7d388c8 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Bwahaha! Well that explains why using .annot files didn't seem reliable! It seemed like it worked any time I *tested* whether it worked, and then sometime when I try to make practical use of it... no. :P So, merci beaucoup Pierre! Now I'll make more use of the feature. -Tony 2012/1/30 Pierre Vittet > [English version below] > > Bonjour, > Je ne sais pas si beaucoup d'entre vous utilise Vim pour coder en OCaml. > J'ai eu besoin de faire quelques modifications sur le greffon officiel po= ur > pouvoir utiliser pleinement les annotations. Je partage donc mes > modifications pour le cas ou elles soient utiles =E0 d'autres: > http://www.vim.org/scripts/script.php?script_id=3D3906. > > J'ai corrig=E9 2 bogues et rajout=E9 une fonctionnalit=E9 permettant d'ut= iliser > les annotations avec l'ensemble des fichiers .ml ouverts. Jusqu'=E0 pr=E9= sent > il semble que les annotations ne fonctionnaient que sur le premier fichier > ouvert. > > J'utilise ma version modifi=E9e depuis plusieurs semaines sans probl=E8me. > Si vous essayez mon greffon, je vous remercie de me faire un retour (sur > les bogues ou leur absence). > > Merci > Pierre Vittet > > ------------------------- > > 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=3D3906. > > 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. > > Thanks > Pierre Vittet > --f46d044289eea52fc304b7d388c8 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Bwahaha! Well that explains why using .annot files didn't seem reliable= !

It seemed like it worked any time I *tested* whether i= t worked, and then sometime when I try to make practical use of it... no. := P

So, merci beaucoup Pierre! Now I'll make more use of the= feature.

=A0-Tony

2012/1/30 Pierre Vittet <pierre.vittet@inria.fr>=

[English version below]

Bonjour,
Je ne sais pa= s si beaucoup d'entre vous utilise Vim pour coder en OCaml. J'ai eu= besoin de faire quelques modifications sur le greffon officiel pour pouvoi= r utiliser pleinement les annotations. Je partage donc mes modifications po= ur le cas ou elles soient utiles =E0 d'autres: http://www.vim= .org/scripts/script.php?script_id=3D3906.

J'ai corrig=E9 2 bogues et rajout=E9 une fonctionnalit=E9 permettan= t d'utiliser les annotations avec l'ensemble des fichiers .ml ouver= ts. Jusqu'=E0 pr=E9sent il semble que les annotations ne fonctionnaient= que sur le premier fichier ouvert.

J'utilise ma version modifi=E9e depuis plusieurs semaines sans prob= l=E8me.
Si vous essayez mon greffon, je vous remercie de me faire un re= tour (sur les bogues ou leur absence).

Merci
Pierre Vittet

-------------------------

Hello,
I don't know if many of you = use Vim to write OCaml code. I had to make some change on the official plug= in 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/s= cripts/script.php?script_id=3D3906.

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 previousl= y 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 p= lugin, please, keep me informed of the eventual bugs.

Thanks
Pierre Vittet=

--f46d044289eea52fc304b7d388c8-- From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0VEnBpF020361 for ; Tue, 31 Jan 2012 15:49:13 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUBAIP+J09KfVK2kGdsb2JhbAApGq5YCCIBAQEBCQkNBxQEIYFyAQEBBBICLAEUBx0BAwwGBQsNLiEBAREBBQEcBhMJGYdjKZsyCotsgnCFDj+IcQIFC4sFBgIBAgIJAgIBBgcDCQErDAIMhBsLg1gEiECMYIsHgxA9hB4 X-IronPort-AV: E=Sophos;i="4.71,596,1320620400"; d="scan'208";a="129556423" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Jan 2012 15:49:12 +0100 Received: by werm13 with SMTP id m13so123667wer.27 for ; Tue, 31 Jan 2012 06:49:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=KIlte1hWnMWd+kgbsMt3WjujjBp6vzF9sqDSi8GU2iI=; b=dXBbnLpBn/RjJdoaqFgOCToCY0qD6zYX2B1+pNITUr8UDN8sxutAJw9Dki18Y8wvY3 sAdV9G1HKQ9hzMs/WimtsERMrXzEOdw6PNGPaB3fZSZvsCAPde4PW4bVOQ3B/7lLd9Lr thNjlx4xyzecbEIWsWZFUH/IuyG0SQwlgw45I= MIME-Version: 1.0 Received: by 10.216.131.215 with SMTP id m65mr8789397wei.54.1328021352162; Tue, 31 Jan 2012 06:49:12 -0800 (PST) Received: by 10.180.99.162 with HTTP; Tue, 31 Jan 2012 06:49:12 -0800 (PST) In-Reply-To: <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> Date: Tue, 31 Jan 2012 09:49:12 -0500 Message-ID: From: Markus Mottl To: Pierre Vittet Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q0VEnBpF020361 Subject: Re: [Caml-list] [ANN] Vim plugin Hi Pierre, thanks a lot for your contribution, I have updated the OCaml ftplugin file on my site and will submit it to Bram for inclusion in a future Vim release. Regards, Markus On Mon, Jan 30, 2012 at 16:29, Pierre Vittet wrote: > [English version below] > > Bonjour, > Je ne sais pas si beaucoup d'entre vous utilise Vim pour coder en OCaml. > J'ai eu besoin de faire quelques modifications sur le greffon officiel pour > pouvoir utiliser pleinement les annotations. Je partage donc mes > modifications pour le cas ou elles soient utiles � d'autres: > http://www.vim.org/scripts/script.php?script_id=3906. > > J'ai corrig� 2 bogues et rajout� une fonctionnalit� permettant d'utiliser > les annotations avec l'ensemble des fichiers .ml ouverts. Jusqu'� pr�sent il > semble que les annotations ne fonctionnaient que sur le premier fichier > ouvert. > > J'utilise ma version modifi�e depuis plusieurs semaines sans probl�me. > Si vous essayez mon greffon, je vous remercie de me faire un retour (sur les > bogues ou leur absence). > > Merci > Pierre Vittet > > ------------------------- > > 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. > > Thanks > Pierre Vittet -- Markus Mottl� � � � http://www.ocaml.info� � � � markus.mottl@gmail.com From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q18KGfX2009701 for ; Wed, 8 Feb 2012 21:16:45 +0100 X-IronPort-AV: E=Sophos;i="4.73,385,1325458800"; d="scan'208";a="143450424" Received: from mal35-1-82-67-111-28.fbx.proxad.net (HELO [82.67.111.28]) ([82.67.111.28]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 08 Feb 2012 21:16:45 +0100 Message-ID: <4F32D84B.3020400@inria.fr> Date: Wed, 08 Feb 2012 21:17:15 +0100 From: Pierre Vittet User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111115 Thunderbird/8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <471204069.596560.1327958835658.JavaMail.root@zmbs2.inria.fr> <1898845183.596573.1327958954685.JavaMail.root@zmbs2.inria.fr> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: pierre.vittet@inria.fr Subject: Re: [Caml-list] [ANN] Vim plugin [English version below] Bonjour, J'ai fait une l�g�re mise � jour du plugin : lorsque l'on affiche un type en utilisant t, le type est �galement copi� dans le registre anonyme. Cela permet de le copier si besoin. http://www.vim.org/scripts/script.php?script_id=3906 Merci pour vos commentaires! Pierre Vittet ------------------------------ Hello, I have made a minor update of the plugin: When we print the type using t, the type is also copied in the unnamed register. This allows to copy it easily. http://www.vim.org/scripts/script.php?script_id=3906 Thanks for your comments! Pierre Vittet