From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p57JdqXI015484 for ; Tue, 7 Jun 2011 21:39:52 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQDAFB97k3RVdY2i2dsb2JhbAA9AQMSphkIFAEBAQoLCwcSBiGIcaN7jCKCQIRxOYhiAQEDBoYbBJEKhWKFZzyDQg X-IronPort-AV: E=Sophos;i="4.65,333,1304287200"; d="scan'208";a="96311566" Received: from mail-bw0-f54.google.com ([209.85.214.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jun 2011 21:39:46 +0200 Received: by bwz12 with SMTP id 12so96212bwz.27 for ; Tue, 07 Jun 2011 12:39:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; bh=lUdTGEOTiMUxV0mtqxQIPqvw8+2hw5MR1vmI63pkp7s=; b=uxYVH7XjPcTLKtkp7P6CGJd0Ap/ognBDs+s14t8nHfdbT5wuLeVldqlSISQ0+Kdq1R 16bkThLEDCzg02FuOzd/IefKa4+sY1H6yRCJ5x2xhP9fIUHoKGIBEPBFlNzfOyYJrRIP pK13eGh+6I6Vn03w29+MqZedr6mbifXprlepM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=SJYptwbZW4i9xOCKw2OGPhouV7ylDOXogDIoZWXfCiAwN5vRrbjFtoqlmmQ2VGSHlr 12dxE5N+ZFo1R7yq+PgpOVnLGOnVYDg34sfd57C2AgCV4Xvsx+lyM3vVJC/DGHNF0xcV O88uym2NCbKpmt/jUGUVHPtOxTlw0ive/2SIc= Received: by 10.204.11.22 with SMTP id r22mr647661bkr.172.1307475585993; Tue, 07 Jun 2011 12:39:45 -0700 (PDT) Received: from chello212017072134.16.14.univie.teleweb.at (chello212017072134.16.14.univie.teleweb.at [212.17.72.134]) by mx.google.com with ESMTPS id l24sm4479926bkw.3.2011.06.07.12.39.44 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 07 Jun 2011 12:39:44 -0700 (PDT) Cc: caml-list@inria.fr Message-Id: <97389920-FEC3-4C5F-AFAF-1F5F9604A982@gmail.com> From: Vincent Aravantinos To: Dario Teixeira In-Reply-To: <715947.44527.qm@web111506.mail.gq1.yahoo.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Mime-Version: 1.0 (Apple Message framework v936) Date: Tue, 7 Jun 2011 21:39:41 +0200 References: <715947.44527.qm@web111506.mail.gq1.yahoo.com> X-Mailer: Apple Mail (2.936) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p57JdqXI015484 Subject: Re: [Caml-list] Vim syntax file for 3.12 features Le 7 juin 11 à 20:57, Dario Teixeira a écrit : > 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) You can do it. The main matter with vim script language is generally not whether you can solve a pb or not, but whether the complexity of the ugly solution you will find will be manageable or not (and it will be ugly, believe me). V.