From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 0FE847ED45 for ; Sun, 1 Jul 2012 00:31:29 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anthony.tavener@gmail.com) identity=pra; client-ip=74.125.82.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of anthony.tavener@gmail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="postmaster@mail-wg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AggBAIh9709KfVI0imdsb2JhbABFtlEIIgEBAQoJDQcSBiOCGAEBAQMBEgIsARQHHQEDAQsGBQQHDS4hAQERAQUBHAYTIodaAQMGBZ0dCQOMI4JxhDcKGScNV4hxAQUMiklmhhoDiEqMaosDgyM+hB0 X-IronPort-AV: E=Sophos;i="4.77,503,1336341600"; d="scan'208";a="165133977" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jul 2012 00:31:28 +0200 Received: by wgbgn7 with SMTP id gn7so4202353wgb.9 for ; Sat, 30 Jun 2012 15:31:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=1ohDctbM9FD1yyfD6lDqLXJI56lAPd7CIDo35B7Iiw8=; b=R9zZME9uswXcQaUQfcit7VNYGWUxD0rmyUORirWlPp1jv52GXp36SsNMMgxnhUB6zL jgs1tEQh0AKy2MVafH3eUC2R4a6VyH1ghcksQrOfoOEzyEnrCx7Ij0kSyrdvhdaduq9L hZa161xM3hoiF8/87sdEOj4y74d1dQhxTZLjsw+21tQ+nVCbz90TYVYMSIr57NZxBFFW VKJlfRlciaZxw2v4fLms7Nr4hq0xLq3wzDOgs6rZ1qVF8MkX5EvRGctqPBzLZzkdw8Wl JEieqT/dUa02Q0P6Jr/q/8ctOM3iZFYAQDpxg1TdCx/PZmyxGCSxXxDQIJuK7E17mmbh /gKw== MIME-Version: 1.0 Received: by 10.216.208.89 with SMTP id p67mr3196433weo.155.1341095487659; Sat, 30 Jun 2012 15:31:27 -0700 (PDT) Received: by 10.223.74.14 with HTTP; Sat, 30 Jun 2012 15:31:27 -0700 (PDT) In-Reply-To: References: Date: Sat, 30 Jun 2012 16:31:27 -0600 Message-ID: From: Anthony Tavener To: Markus Mottl Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001636c5988126df2a04c3b820fc Subject: Re: [Caml-list] Vim syntax supporting first-class modules? --001636c5988126df2a04c3b820fc Content-Type: text/plain; charset=ISO-8859-1 On Sat, Jun 30, 2012 at 4:13 PM, Markus Mottl wrote: > On Sat, Jun 30, 2012 at 3:12 PM, Anthony Tavener > wrote: > > After first-class modules were introduced there were some questions > whether > > anyone had updates for ocaml.vim. > > > > About one year later I finally have use for first-class modules but can't > > find Vim syntax support. Spend a couple hours now delving into the > arcana of > > syntax and particularly the module section of ocaml.vim. I've turned back > > for fear of my sanity. > > > > Has anyone else slain this beast already? :) > > Though Vim has fairly powerful syntax highlighting features, its > highlighting language is also not exactly easy to reason about. > Frankly, a lot of my syntax file, which is probably what you are > referring to when speaking of insanity, was developed using a heavy > dose of trial and error, especially when it comes to module syntax. > Even before first-class modules it was far from perfect. Feel free to > risk your sanity and send fixes... ;) > > Regards, > Markus > > -- > Markus Mottl http://www.ocaml.info markus.mottl@gmail.com > Oh, I understand. Certainly I meant no slight on you! I can see how the syntax definitions lead to a very complex state machine, and I'm often surprised when the highlighting is correct in the face of complex language features. If no one else has, I might venture forward. Though I do wonder what all those Vim folks at Janestreet are doing? I guess just suffer looking at some confused highlighting in presence of first-class modules if they are rare enough anyway. --001636c5988126df2a04c3b820fc Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Sat, Jun 30, 2012 at 4:13 PM, Markus Mottl <markus.mottl@gmail.com> wrote:
On Sat, Jun 30, 2012 at 3:12 PM, An= thony Tavener
<anthony.tavener@gmail.com<= /a>> wrote:
> After first-class modules were introduced there were some questions wh= ether
> anyone had updates for ocaml.vim.
>
> About one year later I finally have use for first-class modules but ca= n't
> find Vim syntax support. Spend a couple hours now delving into the arc= ana of
> syntax and particularly the module section of ocaml.vim. I've turn= ed back
> for fear of my sanity.
>
> Has anyone else slain this beast already? :)

Though Vim has fairly powerful syntax highlighting features, it= s
highlighting language is also not exactly easy to reason about.
Frankly, a lot of my syntax file, which is probably what you are
referring to when speaking of insanity, was developed using a heavy
dose of trial and error, especially when it comes to module syntax.
Even before first-class modules it was far from perfect. =A0Feel free to
risk your sanity and send fixes... ;)

Regards,
Markus

--
Markus Mottl=A0 =A0 =A0 =A0 http://www.ocaml.info=A0 =A0 =A0 =A0 markus.mottl@gmail.com

Oh, I understand. Certainly I mea= nt no slight on you! I can see how the
syntax definitions lead to= a very complex state machine, and I'm often
surprised when t= he highlighting is correct in the face of complex
language features.

If no one else has, I migh= t venture forward. Though I do wonder what
all those Vim folks at= Janestreet are doing? I guess just suffer looking
at some confus= ed highlighting in presence of first-class modules if they
are rare enough anyway.

--001636c5988126df2a04c3b820fc--