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 782007FEFA for ; Tue, 1 Mar 2016 21:51:04 +0100 (CET) IronPort-PHdr: 9a23:sQ6gyB/60qaNHP9uRHKM819IXTAuvvDOBiVQ1KB91OIcTK2v8tzYMVDF4r011RmSDdqdtKoP0rGG+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStGU0Jz8jrvis7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+kBDZThaUrl4bTnkS2k5NChLG8Qq8W5Dtri/Sue902S3cNsrzG+MaQzOnuohvRRnfraYZOjpxpG7Th8o2ia9FrRaJrAZ2xZWSZ5uaYqktNpjBdM8XEDISFv1aUDZMV8blN9MC Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=glen.mevel@crans.org; spf=Pass smtp.mailfrom=glen.mevel@crans.org; spf=Pass smtp.helo=postmaster@redisdead.crans.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of glen.mevel@crans.org) identity=pra; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="glen.mevel@crans.org"; x-sender="glen.mevel@crans.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of glen.mevel@crans.org designates 138.231.136.39 as permitted sender) identity=mailfrom; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="glen.mevel@crans.org"; x-sender="glen.mevel@crans.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@redisdead.crans.org designates 138.231.136.39 as permitted sender) identity=helo; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="glen.mevel@crans.org"; x-sender="postmaster@redisdead.crans.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B7AABOANZWkieI54pehHm8J4YTAoFOPBABAQEBAQEBARABAQEBCRQJUIItghUBAQQjHQEBNgEBDwshFgsCAgkDAgECAUUGDQgBAReIBAQBr1xnhEABBIpXAQEBAQEFAQEBAQETAgaKTIc1gTqXE4MJgWSIdYFghESDAoVQjkw3giEegVFpiEEBAQE X-IPAS-Result: A0B7AABOANZWkieI54pehHm8J4YTAoFOPBABAQEBAQEBARABAQEBCRQJUIItghUBAQQjHQEBNgEBDwshFgsCAgkDAgECAUUGDQgBAReIBAQBr1xnhEABBIpXAQEBAQEFAQEBAQETAgaKTIc1gTqXE4MJgWSIdYFghESDAoVQjkw3giEegVFpiEEBAQE X-IronPort-AV: E=Sophos;i="5.22,524,1449529200"; d="asc'?scan'208";a="166548277" Received: from redisdead.crans.org ([138.231.136.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 01 Mar 2016 21:51:03 +0100 Received: from [192.168.1.15] (ANantes-555-1-266-57.w90-12.abo.wanadoo.fr [90.12.221.57]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id E131A2B8; Tue, 1 Mar 2016 21:51:02 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=crans.org; s=mail; t=1456865463; bh=N/aai7q7gLwCH726hvNWfNaUwZrpN5tM3r8q9c3dFk0=; h=Subject:To:References:From:Cc:Date:In-Reply-To:From; b=GNG7zQDP3lQqIji5KcUGWmggAaP1el3IitWuPr8Y0Onj9wIhByv1jFOj4X3lskiLX kAw7wLqd0YiGOJ/qtNwsVYL6F0B/KB9z86hSnbIL7ZnotB8XjxVxSqjl5+r39m889T xKuI/wfPQwMD5M1LfiRV82D2Qm8rsO/hAu7snm9dNep851z9A1j2ywp8+KZe2HoBET xEBP1mCmXXvNCcKOOpi0NvgWbRBj2h+UM6kblQagVmo+/tRcXXXZPJ9EpyHemB3Oem eCmSaR7xM6RJVaKwzVqqfcXsBKEQbtURJY8AM5cGGUaYXI/6syoJKyUBTQoTas5Pll ovLerQ90YoytM0BWEH6H3+5Pw+/gOBXEnMuJfxXcuoOpj2kCxxxhsOQlaf6EWnuP11 FHRv9LNJrJI+Hy4bHgpZ8oGAGyWeWQ8Jrfrir7843uW/BlXXvm9geIBcXLO5CFmWw3 e4TfAMfjyhO11BRG0NNkap6l+L4icBBOn/lYKCWS2CHfezmdIc+ZTGEJnyIWgNBF1e 13PiMuAFM4iMRimxqimiehelXiKA+XjDPajVrFBwjkQvc05OaEDHfdi+EzniM6KbcW Nqesv0KCYia5Tn5NSmS5hCJ5mKCLQb0+QJNge9hnDfqFzFGBBPVk2awlxx8/iqCmoc 2L24Zo0ePHDxXi9Q/LVxnX60= To: Markus Mottl References: <20160301160359.Horde.DZY3pER1POd46Yrp3bfly8y@webmail.in-berlin.de> <20160301160547.Horde.YcxpZpWTUuJKE-ZQ27PEORN@webmail.in-berlin.de> <20160301160751.Horde.xJMNnObt5bjm-li7FaJlMhR@webmail.in-berlin.de> From: =?UTF-8?Q?Glen_M=c3=a9vel?= X-Enigmail-Draft-Status: N1110 Cc: caml-list@inria.fr Message-ID: <56D6004E.1050706@crans.org> Date: Tue, 1 Mar 2016 21:49:18 +0100 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="oXSHHnAUQcdkCpGK0XJgGCtEmhFvAg3er" Subject: Re: [Caml-list] Quoted strings and vim-syntax-highlighting This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --oXSHHnAUQcdkCpGK0XJgGCtEmhFvAg3er Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 --=20 Glen M=C3=A9vel this has to be implemented in utop too=E2=80=A6 --oXSHHnAUQcdkCpGK0XJgGCtEmhFvAg3er Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJW1gBOAAoJELcUS75k9bO3gZ8H/14raRETu5l85M+dYP9n5bCl tv4JpUghCnsceJMuvLEuRQ8DXBWZAQURrvPGVuGmmRG0XYkUehcMUnx5jDqUwPZF 5QhFAEjVW64XptGO60o2XqRy/nTL2LWpY9pT9W0+rpHbd5KoOt2V9Myf8Fvlg84v DBuTJUFXrXTpnCjJAWOyRNY4kKxbqdmqzqkQ7YCkSUvgxT+o+kDyYJJOkPIw1fAq eYsmz8LQEX8P/mlqCypc7rsWl5M5+/poq3krDSK16HHDUYaLBxlrHOfg5eVZEC8C dVRZYd8kMwYbwbCSj8aDjeoS3xshYDRmne9ig1PnJbWzJN0qDg5wajE3xClCWEo= =2zrx -----END PGP SIGNATURE----- --oXSHHnAUQcdkCpGK0XJgGCtEmhFvAg3er--