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 p57IvRqY014223 for ; Tue, 7 Jun 2011 20:57:28 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQEACd07k1ii1vCdGdsb2JhbAA9AwESl0cyjjwBDAkNBxEGIqo5jTCBNIJAhHSJGwEEBQGGGwSGeI5eJopz X-IronPort-AV: E=Sophos;i="4.65,333,1304287200"; d="scan'208";a="100824849" Received: from nm8-vm0.bullet.mail.sp2.yahoo.com ([98.139.91.194]) by mail4-smtp-sop.national.inria.fr with SMTP; 07 Jun 2011 20:57:19 +0200 Received: from [98.139.91.68] by nm8.bullet.mail.sp2.yahoo.com with NNFMP; 07 Jun 2011 18:57:18 -0000 Received: from [98.139.91.43] by tm8.bullet.mail.sp2.yahoo.com with NNFMP; 07 Jun 2011 18:57:18 -0000 Received: from [127.0.0.1] by omp1043.mail.sp2.yahoo.com with NNFMP; 07 Jun 2011 18:57:18 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 165629.33626.bm@omp1043.mail.sp2.yahoo.com Received: (qmail 73545 invoked by uid 60001); 7 Jun 2011 18:57:17 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1307473037; bh=FwTnGxjLKUHPnXG5FdEPL/4cE8YJ9Mw7UB/qAUc32MQ=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=3yi+hFPl0JoealuScxmzgKNw3feLyNDfM66bym1CByO9rMBLwY1SdPAxzQZgTL9n+GmDSzEtYBci9fwxxPF7N/VVuYAWDbqucu5IvIqY2rEVc5fvNjLw9neNGuaFNjiRqWy5XL/mHXcw4CnWpUjdL7fq9jkkW6HIERx+yzDTq6c= 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:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=D9qEuXPurbQtsu8zyZLxzG5MUu5QB9qCeStk4yVzwCptCX+DRvjawOS4I7Gcw4XfQ7TGhDLvbzsPNaYr5igigIORASYGZx4jPOcg8vUETVNBsZSpJ9eS6CvM2zSTVdEJeWpCqUP5lDRxfkPKREyATm2HrlJurdUxRvyiHX6cHDM=; Message-ID: <715947.44527.qm@web111506.mail.gq1.yahoo.com> X-YMail-OSG: HiqyGe4VM1mA4Z4DvBHKMJecc14AW83W9u6Vfdsd.bks1vs WWsHk0fZJO_85k2F.41dyTRMc7cjPYffvKAzf6VX85mjdWaEbFvq2k4eL4QX G4m.XyeYykN1Z3gZ2ETEhrRQAjqOwhjAiN_s47XZ.uq5KgtCb3eBns8Qh_xt 0IPTxyq.3_o.gEpV4bxkUHiTSDiJgQm8ysLtYZIWiDOlAnjOJJyIfrlZgH9y 3pqDqXzzRNrR1aTRv8GWWEU1Xi1zD6fqRfPR4V.GuPDCMQg3nLaM403QDdWO VcgyW1O89.ZAuqCybb6ggBqxMEPaZDwgddZB9d5QGLFoWrtDBjVRBUXeTXAe fyYvGsCVsoLm3w80tVYz7l85EDNuwpm5bZTZbLIsfRkpiVDc4IRf4ygnyZCR fmKmP6Uhx9eTCE6OrSWU4bIC1ojiQTLH7sO.eIfsmXKC3CZyKCHibBpoB7Ce ScRV3uooxKBGN7aWxs5i9eD7Lje2X4NXNYkeTE5wRiUaJcyof0rQJQbzWKOI a9duEvn_Iooxa9Q-- Received: from [213.205.70.195] by web111506.mail.gq1.yahoo.com via HTTP; Tue, 07 Jun 2011 11:57:17 PDT X-Mailer: YahooMailClassic/14.0.1 YahooMailWebService/0.8.111.304355 Date: Tue, 7 Jun 2011 11:57:17 -0700 (PDT) From: Dario Teixeira To: caml-list@inria.fr In-Reply-To: <429462.47024.qm@web111513.mail.gq1.yahoo.com> MIME-Version: 1.0 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 p57IvRqY014223 Subject: Re: [Caml-list] Vim syntax file for 3.12 features Hi, Thank you all for your input. Judging from the responses, I gather that Emacs has better OCaml support than Vim, though the difference is not so overwhelming and Emacs is not without some drawbacks itself. I guess I'll just have to try out Emacs+Tuareg mode and see for myself -- perhaps even putting to some immediate use the Tuareg section of those brand new OCamlPro Cheat Sheets... Raphaël: Lwt support would be great. More so if 3.12 features are also supported. I'm not familiar with the capabilities of Vim's syntax files: can the same definition file [1] support both vanilla OCaml code and Lwt extensions (for example by specifying that if the file extension is .mlw then an extra section applies), or would you need to fork the syntax file if you want to support vanilla alongside Lwtfied OCaml? Cheers, Dario [1] http://code.google.com/p/vim/source/browse/runtime/syntax/ocaml.vim