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 p57ETlXI004507 for ; Tue, 7 Jun 2011 16:29:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkCANY07k3RVaE2imdsb2JhbAA9AQMSphQIFAEBAQoJDQcSBiGIcaRpjCKCQIUBOYhiAQEDBoYbBJEKhWKFZzyDQg X-IronPort-AV: E=Sophos;i="4.65,332,1304287200"; d="scan'208";a="84953068" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jun 2011 16:29:41 +0200 Received: by fxm11 with SMTP id 11so6488638fxm.27 for ; Tue, 07 Jun 2011 07:29:41 -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=R/YmBf/7IF7ytBQ1OQEMimMDLU/laWSdXvsd6VvZtBQ=; b=BI7w4Fxg0LReWLYQqPlLuokznxnK8/IXsl9mYRlrjf4Ry8COUQVO6mVhqNDLRlYHlp WzNsZpkWVfqRPvO9QH1B1BoWN6YkrSUYP3NNXLMAtQb6tOcgCMHRBd3ZfoJ2yHP2wZuL Gymg6zVv879iM26I5UcAGC4TJVxEt0bjUYRHA= 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=IDXEEVkwNagjBRzVr6SI6CP9IIFLfmMQW5FEF4/PjesKXCOsxBuFbOGAyM+h5Eju1q uNjgSrUVBIbNuzCSTfMYoLV+UWN9G1l7nGayxZJdGfL1F7+yHg9Ub46n2xurHQSjKhWh +s1yvRDdaeHUXQ5srWTUXN/7SNPLqaPf7u86M= Received: by 10.204.7.1 with SMTP id b1mr604509bkb.6.1307456981323; Tue, 07 Jun 2011 07:29:41 -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 af13sm271432bkc.7.2011.06.07.07.29.39 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 07 Jun 2011 07:29:40 -0700 (PDT) Cc: caml-list@inria.fr Message-Id: From: Vincent Aravantinos To: Dario Teixeira In-Reply-To: <429462.47024.qm@web111513.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 16:29:38 +0200 References: <429462.47024.qm@web111513.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 p57ETlXI004507 Subject: Re: [Caml-list] Vim syntax file for 3.12 features Hi Dario, Le 5 juin 11 à 18:52, Dario Teixeira a écrit : > 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). I'm planning to implement it but not so soon. Unless someone (maybe you? ;) ) does it in the meantime... V.