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 p57H7GYg011295 for ; Tue, 7 Jun 2011 19:07:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokDAFta7k1KfVK2kGdsb2JhbAA9AQMShEqTLY4gCBQBAQEBCQkNBxQEIa1Xi2Y8gkCEbzmIYgEBAwaBJYNsgQoEkQqFYoVnPINC X-IronPort-AV: E=Sophos;i="4.65,333,1304287200"; d="scan'208";a="84965292" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jun 2011 19:06:41 +0200 Received: by wyf23 with SMTP id 23so6757694wyf.27 for ; Tue, 07 Jun 2011 10:06:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:from:to:subject:date:user-agent:cc:references :in-reply-to:mime-version:content-type:content-transfer-encoding :message-id; bh=5V4Z6geVuOI5+zOndNqdcylQccN2gbpSvuFmdfqpXEc=; b=UTkxVTyl30XLCH75+hrscdaUdPIJlJmGK0xA54ywgGKBIq8S4A8gqG9AGFkb4vPlCK 6aHx3z/i8Exs4EgA6psZxQ9Q+gF6Ojo7A7JcqcgzFdZPz7bDw0Fygm9zov9g6SbYN/6S Yqln6wvmY+jnXm96AN85rvcAH4xh07tigskwA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:to:subject:date:user-agent:cc:references:in-reply-to :mime-version:content-type:content-transfer-encoding:message-id; b=p79PF7Hoy0i0gBbwisF7LnFxu0uKHVjWUJM/PY3+WQu2nr6wXxZDZU4H5TGCoK7TNN eatVgfafdtture/sqK7F26ZHMpNKTbSRQq5qZW5cR7NQZNS8nLY+Dpq/+Qb+NKgAObOX y4cdV8V5uKvXgmUnwYGH0wbOAvSnOWiHSnXaA= Received: by 10.216.221.72 with SMTP id q50mr6171682wep.99.1307466400686; Tue, 07 Jun 2011 10:06:40 -0700 (PDT) Received: from cloudy.localnet ([85.69.95.49]) by mx.google.com with ESMTPS id u64sm2606048weq.28.2011.06.07.10.06.39 (version=SSLv3 cipher=OTHER); Tue, 07 Jun 2011 10:06:39 -0700 (PDT) From: Raphael Proust To: caml-list@inria.fr Date: Tue, 7 Jun 2011 19:02:31 +0200 User-Agent: KMail/1.13.7 (Linux/2.6.38-ARCH; KDE/4.6.3; i686; ; ) Cc: Dario Teixeira References: <429462.47024.qm@web111513.mail.gq1.yahoo.com> In-Reply-To: <429462.47024.qm@web111513.mail.gq1.yahoo.com> MIME-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Message-Id: <201106071902.31613.raphlalou@gmail.com> Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p57H7GYg011295 Subject: Re: [Caml-list] Vim syntax file for 3.12 features Le dimanche 05 juin 2011 18:52:08, Dario Teixeira a écrit : > 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 started tweaking the ocaml.vim files to add support for the Lwt syntax extension. I haven't fixed the first class module problems yet, but I plan to do it eventually. Cheers -- ______________ Raphaël Proust