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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id CC54F7FEFA for ; Tue, 1 Mar 2016 22:29:43 +0100 (CET) IronPort-PHdr: 9a23:kzDBFBdyOYiIgHTfPp2GtiHXlGMj4u6mDksu8pMizoh2WeGdxc69bB7h7PlgxGXEQZ/co6odzbGG7Oa/ASdZvc/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuMO04R2GP1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S4zVmgQpT/JHQXBpEX1Wpr39C73qOd58CKANMvtC7cuVmLxwb1sTUrNgT0EKiVx1WbLlsg42KdSuhG8vFp6xJLIZKmaMfN/euXWetZMFjkJZdpYSyEUWtD0VIAIFedUeL8A94Q= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=markus.mottl@gmail.com; spf=Pass smtp.mailfrom=markus.mottl@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of markus.mottl@gmail.com) identity=pra; client-ip=209.85.214.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of markus.mottl@gmail.com designates 209.85.214.174 as permitted sender) identity=mailfrom; client-ip=209.85.214.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f174.google.com) identity=helo; client-ip=209.85.214.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="postmaster@mail-ob0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BKAQAyBtZWla7WVdFcg1g0bQaoOJNpGYV6AoFHBzwQAQEBAQEBAQEQAQEBAQcLCwkhL4ItghUBAQQSER0BFAcdAQMMBgULDQICJgICIQEBEQEFARwGEwgTB4dnAQMSoUeBMT4xizSBaYJXhUYKGScNUYNkAQEBAQEBBAEBAQEBFQEFCgRthReEOoI6gXmDAoE6BY4fiG+BQoosgXSBYIREiFKHCIYGER6BDzeCIR6Bbh4uiEEBAQE X-IPAS-Result: A0BKAQAyBtZWla7WVdFcg1g0bQaoOJNpGYV6AoFHBzwQAQEBAQEBAQEQAQEBAQcLCwkhL4ItghUBAQQSER0BFAcdAQMMBgULDQICJgICIQEBEQEFARwGEwgTB4dnAQMSoUeBMT4xizSBaYJXhUYKGScNUYNkAQEBAQEBBAEBAQEBFQEFCgRthReEOoI6gXmDAoE6BY4fiG+BQoosgXSBYIREiFKHCIYGER6BDzeCIR6Bbh4uiEEBAQE X-IronPort-AV: E=Sophos;i="5.22,524,1449529200"; d="scan'208";a="166551031" Received: from mail-ob0-f174.google.com ([209.85.214.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Mar 2016 22:29:42 +0100 Received: by mail-ob0-f174.google.com with SMTP id fz5so48059407obc.0 for ; Tue, 01 Mar 2016 13:29:42 -0800 (PST) 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-transfer-encoding; bh=RZrChS2O8wkM6hkSldD/tRh4WFhG5NtAuRRFALOo6oE=; b=RcuMTY8xE1zYCTkw2VwRF4XOrWU+5OjvkGdiNS92AZvf9HWpXRKcQ5nv/f8ZUKBPgz OK6cQcx20vJEzQTrM59Kgatjck44M1dBab3dZEbIb1aXyjr/DTAAwCVak/U7PD4lo50a lJY0sTkE5XF1OrgL0eWaqOk4n9h9k8QcXXGSvviaojeR9Cerfan76txs5+ZyYEeQVLBv +k3+ujmS8/Hcy51TeE176ZsuSHIvVRK0i9bk+WcenDyU3CZFWo9JJBnK1WW2RLz9mRGq DKxKBwni1WmqDPr0WWHZjhZZx7YY9I2oWpcHWIEWe5McimYQtsZ9X/gHlVpFSP6mbSMf 8NnA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-transfer-encoding; bh=RZrChS2O8wkM6hkSldD/tRh4WFhG5NtAuRRFALOo6oE=; b=NsFqBt0Pr49SkLe+AGBtu2GugIiRJMcWALkGpnLCoiCGDtylyp9TVh7Psg61AMggsV IIF9pl8m41QG7a+y9+zV2DkniHy5T/M85LzMqvUfg4WdXFe+KDFRC8AlJAN/4wuX/WZ2 vy7G3hNmi81La8ovNoJJFArx+oowcIkfAtX6c/pvS1Yyvvs3nSNKdqqzf66cGCFYfnns /HIhg5K6e5CXPoOb+ErfCqXqK16gCjVSM+/XNGVJMSrFrOy0TnHjafriBEdfQswBK2Tv 13PUZp1dpp0E+g5oslztZYhBOKeEqcnUrcbWjwsM4n7wLwGbSkxHyhMeD79GTOc+t1Fu R8AQ== X-Gm-Message-State: AD7BkJITg/7M2sm980tW+TIyQRTO/9JEtU9b2SVcyeLdT5baSfHy0Bc9wrI3JFSoO0QkSS7XgvynjmvAtnOjMA== MIME-Version: 1.0 X-Received: by 10.60.142.230 with SMTP id rz6mr13369063oeb.5.1456867781377; Tue, 01 Mar 2016 13:29:41 -0800 (PST) Received: by 10.182.128.164 with HTTP; Tue, 1 Mar 2016 13:29:41 -0800 (PST) In-Reply-To: <56D6004E.1050706@crans.org> References: <20160301160359.Horde.DZY3pER1POd46Yrp3bfly8y@webmail.in-berlin.de> <20160301160547.Horde.YcxpZpWTUuJKE-ZQ27PEORN@webmail.in-berlin.de> <20160301160751.Horde.xJMNnObt5bjm-li7FaJlMhR@webmail.in-berlin.de> <56D6004E.1050706@crans.org> Date: Tue, 1 Mar 2016 16:29:41 -0500 Message-ID: From: Markus Mottl To: =?UTF-8?Q?Glen_M=C3=A9vel?= Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Quoted strings and vim-syntax-highlighting Thanks, Glen, I've added your last proposal to the OCaml syntax file. Once in a while I submit it for inclusion in Vim. Regards, Markus On Tue, Mar 1, 2016 at 3:49 PM, Glen M=C3=A9vel wrot= e: > hello, > > Le 01/03/2016 16:10, Markus Mottl a =C3=A9crit : >> It's a known issue, but I'm currently too busy to do anything about >> it. Please feel free to implement a solution, and I'll add it to the >> Vim-syntax file for OCaml. > > this does the trick: > > syn region ocamlString start=3D"{\z\([a-z_]*\)|" end=3D"|\z1}" > > for a more complete addition (i put spellchecking because it was already > set for "" string litterals, not sure if appropriate): > > syn region ocamlString matchgroup=3DocamlLabel start=3D"{\z\([a-z= _]*\)|" > end=3D"|\z1}" contains=3D@Spell > > or, even neater: > > syn region ocamlString matchgroup=3DocamlQuotedStringDelim > start=3D"{\z\([a-z_]*\)|" end=3D"|\z1}" contains=3D@Spell > > with that line in the appropriate place of the syntax file: > > HiLink ocamlQuotedStringDelim Identifier > > -- > Glen M=C3=A9vel > this has to be implemented in utop too=E2=80=A6 > --=20 Markus Mottl http://www.ocaml.info markus.mottl@gmail.com