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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EDAC77FEFA for ; Tue, 1 Mar 2016 16:10:55 +0100 (CET) IronPort-PHdr: 9a23:QTixLhSu1VgMQQh3/QO/N8k7KNpsv+yvbD5Q0YIujvd0So/mwa65ZBeN2/xhgRfzUJnB7Loc0qyN4/+mBjRLvs/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuMO04X3XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQezCS/WMRWXk6lR9BAg6NrE2rH8S5jiyvke58xiSAdef/S7w5XXz26KNqVhLyoCkGLSUltmDRz8Z9lqZaplStqkos7ZTTZdSwPeB9Y7iVWNQGWW4JCsNYTS9cGcW5aJcTC8IOOO9Zq8/2oF5Y/kj2PhWlGO66kmwAvXTxx6Bvlrl4HA== Authentication-Results: mail2-smtp-roc.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-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of markus.mottl@gmail.com) identity=pra; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of markus.mottl@gmail.com designates 209.85.214.173 as permitted sender) identity=mailfrom; client-ip=209.85.214.173; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f173.google.com) identity=helo; client-ip=209.85.214.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="postmaster@mail-ob0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BoAQDir9VWla3WVdFeg1g0bQaoOIFOkhshhXICgT8HOxEBAQEBAQEBARABAQEBBwsLCSEvgi2CFQEBBBIRHQEUBxILAQMMBgULDQICCR0CAiEBAREBBQEKEgYTCAoJB4dnAQMSDqMAgTE+MYs0gWmCV4VDChknAwpRg3ABAQEBAQEBAQEBAQEBAQEBFAEFCgRthReEOoI6hHuBOgWGGAyHe4hvgUKEF4YVgXSBYEuDeYhShwiGBhEegQ82giIegW4eLohBAQEB X-IPAS-Result: A0BoAQDir9VWla3WVdFeg1g0bQaoOIFOkhshhXICgT8HOxEBAQEBAQEBARABAQEBBwsLCSEvgi2CFQEBBBIRHQEUBxILAQMMBgULDQICCR0CAiEBAREBBQEKEgYTCAoJB4dnAQMSDqMAgTE+MYs0gWmCV4VDChknAwpRg3ABAQEBAQEBAQEBAQEBAQEBFAEFCgRthReEOoI6hHuBOgWGGAyHe4hvgUKEF4YVgXSBYEuDeYhShwiGBhEegQ82giIegW4eLohBAQEB X-IronPort-AV: E=Sophos;i="5.22,523,1449529200"; d="scan'208";a="205272372" Received: from mail-ob0-f173.google.com ([209.85.214.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Mar 2016 16:10:55 +0100 Received: by mail-ob0-f173.google.com with SMTP id jj9so17052915obb.3 for ; Tue, 01 Mar 2016 07:10:55 -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; bh=uPJV2wj9zUmLauSMnS9LkPvfE/dumqY/z4zEbV7vAtw=; b=Ef4/U6M5eOH+WY/Obs5ZytQpXO9VDvxPe09xVsL8sLPZP3Yxxcxtuj9ETPrnsfiCdz 3Y+TUsPltDlLVGUzuvdz/iTXj6Kig3pyIvPWeki7tx4GYmAlgNgsEVGsFwjPgPL3Wmvw uaOdeRAPw4nm//UvvQceMFtdi/vcKsURJRgcWCEfGoPXury7rnHMExm+owSaxTCn7tk3 LZjOachQikNpDO1SJZm8tVFLspK5GbulRb1ozZxmlYkXroH8iyw8wAaWvJG+FWN2fE3h GGselncxQQKe/gFiArU34Zv97tHQ/Ekjo7Z7HyBoLdSASNVMfeZJ7nZEnRJPHw7Wfifr KlMA== 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; bh=uPJV2wj9zUmLauSMnS9LkPvfE/dumqY/z4zEbV7vAtw=; b=TppamMJ89AIMjDjclwkoo7jBHNoxVIC9149CJ77MgzRlsKommQ2larp4E27AkZbvSV q5mr+ryDAG/nZsJEFGGa0PAPZuO3Jyk8K3bdaCeWLY9EH/33zZIeAWNwwXRe11n3NAcf PnMOyHG/Wx/GtbxZDtckHi2I8QbOY3SFdnQQ21e9Taslxj0XDl4kKNZB5mFoKYPYS5XX JMPWeCyOJdMdHBEEmLUAbGi1RjqWmES9OnGZQkB9imTRF1tDZ4QCb35E0rEqhywRjki7 ioGouCI7R+qjlYHmM8CdKyOfaOtpLEIJX2+qpjLTwIoDEvmQ0KabXFXocIXwRl3+Msnj a66A== X-Gm-Message-State: AD7BkJLOKEEJXArqJf1Frq12VJcQjonwrBpmkoXq1y0g6vivOBnmh6CNCmrM+ftkk7Y+5AwIRxm5VDcaHzZImw== MIME-Version: 1.0 X-Received: by 10.182.81.197 with SMTP id c5mr1588154oby.7.1456845054111; Tue, 01 Mar 2016 07:10:54 -0800 (PST) Received: by 10.182.128.164 with HTTP; Tue, 1 Mar 2016 07:10:54 -0800 (PST) In-Reply-To: <20160301160751.Horde.xJMNnObt5bjm-li7FaJlMhR@webmail.in-berlin.de> References: <20160301160359.Horde.DZY3pER1POd46Yrp3bfly8y@webmail.in-berlin.de> <20160301160547.Horde.YcxpZpWTUuJKE-ZQ27PEORN@webmail.in-berlin.de> <20160301160751.Horde.xJMNnObt5bjm-li7FaJlMhR@webmail.in-berlin.de> Date: Tue, 1 Mar 2016 10:10:54 -0500 Message-ID: From: Markus Mottl To: Oliver Bandel Cc: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Quoted strings and vim-syntax-highlighting 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. Regards, Markus On Tue, Mar 1, 2016 at 10:07 AM, Oliver Bandel wrote: > > Zitat von Oliver Bandel (Tue, 01 Mar 2016 > 16:05:47 +0100) > >> Zitat von Oliver Bandel (Tue, 01 Mar 2016 >> 16:03:59 +0100) >> [...] >>> >>> >>> P.S.: This workaround works: >>> Buffer.add_string buffer {|label("|};(*"*) >> >> >> >> It works for vim-highlighting, but it the compiler does not eat it. >> >> "Error: This comment contains an unterminated string literal" >> >> Maybe tweaking errors/wrnings can help here at least... > > [...] > > > This one does it: > > Buffer.add_string buffer {|label("|};(*{|"|}*) > > > But a solution in the vim-syntax-highlighting would be better, of course... > > > Ciao, > Oliver > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com