From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p55GqG4r015654 for ; Sun, 5 Jun 2011 18:52:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsLANqz601ii1vQaWdsb2JhbAA8AwEShEqTIDKOMw0JCwcTBiKoNI4mPII+gzeJGwEEBQGBJYNsgQoEhnSOTSaKbA X-IronPort-AV: E=Sophos;i="4.65,323,1304287200"; d="scan'208";a="84662403" Received: from nm15-vm0.bullet.mail.sp2.yahoo.com ([98.139.91.208]) by mail3-smtp-sop.national.inria.fr with SMTP; 05 Jun 2011 18:52:10 +0200 Received: from [98.139.91.70] by nm15.bullet.mail.sp2.yahoo.com with NNFMP; 05 Jun 2011 16:52:09 -0000 Received: from [98.139.91.1] by tm10.bullet.mail.sp2.yahoo.com with NNFMP; 05 Jun 2011 16:52:09 -0000 Received: from [127.0.0.1] by omp1001.mail.sp2.yahoo.com with NNFMP; 05 Jun 2011 16:52:09 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 69101.39130.bm@omp1001.mail.sp2.yahoo.com Received: (qmail 20073 invoked by uid 60001); 5 Jun 2011 16:52:08 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1307292728; bh=k5sJD7ZklxjoyCHvgz9OGOFoPzIi3bLUNV7jQ8QdSRs=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=F6vgPAXukRk2VqOiFjnZ7/S+PBXjbsyv2e8VLestngmndSbHNJrfbc+mfhub2rTxIfY+JuyN7rdKe9f4WxUjwKdwxggA7Gn3n2aPqx/hNM6mYhROYwnjTaE5/lFdaKBjvVE5CJQuPKX5pcQbiVPHOEyBCevJcf0TAaqMc0tSm3U= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=NhjwEH1zh8b7I14I2bnUrow2AGhvQ7f6hFZ57YH5ckVsj3td2hqn5OD41Q0RpZUCj4J+ptfHxUqXw9JsUJCvZXwl/2DtpwFNv02PJrTGDL/L+9OFdC2Wmyz038sRDKZzqc5UTbcSg1dtn7/HoHYpkR+093DnqExTNStyuIa0nAo=; Message-ID: <429462.47024.qm@web111513.mail.gq1.yahoo.com> X-YMail-OSG: c894XJkVM1lqE67gQUj_5UvQrWDzyTY6_13dXvXmI.1vtor CtnGSoImsEweCOiiWeAP5e38ELS.jjcKuhlaxWwCkAuAtwAPgjK41Y7RPuja P38VNTV0FRhnrrPyJlpyU7p2GI7t8Bl2quPJ2a9poJZB0_ZJEZDR2zFzpt6E Bn8bigYVkI_.h46yjdyEHd2d6sdspon057yWXjiW2ajnbC1F7JpSs0qZdb5y i.rEGll9jT7ZqEBDBs_9JhI3WS4o3K5RqCz.0gh4DOuAO93G8AGjYWb9ct3f zYUnGLACBVQSlyhSU0kFmfhFPYAA.fP93DYPdGH_qAB6naGQ7FFQgnfVhDdB g9jM_GjLcDya4FDxOMCZ4i2N7Au8Yr9gEmgmyHMSgHPVIxNxAbfW3cHAc8Y5 koRHX2Lch3cqM2w-- Received: from [213.205.70.198] by web111513.mail.gq1.yahoo.com via HTTP; Sun, 05 Jun 2011 09:52:08 PDT X-Mailer: YahooMailClassic/14.0.1 YahooMailWebService/0.8.111.304355 Date: Sun, 5 Jun 2011 09:52:08 -0700 (PDT) From: Dario Teixeira To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p55GqG4r015654 Subject: [Caml-list] Vim syntax file for 3.12 features Hi, Has someone tweaked Vim's syntax files for OCaml so that they support 3.12's first-class-modules? (The syntax highlighting of any code using this feature is just plain wrong at the moment). On a related note, it's my understanding that a large percentage (most?) of the OCaml community uses Emacs. Without meaning to start an editor flamewar, I would like to know the opinion of those who've edited OCaml under both Emacs and Vim: is the former's support so much better that it's worth the effort to learn Emacs? Cheers, Dario Teixeira