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 09E9C8018B for ; Sat, 24 Jun 2017 01:53:35 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Neutral smtp.mailfrom=e@x80.org; spf=None smtp.helo=postmaster@cc-tupan-roaming-b.ensmp.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of e@x80.org) identity=pra; client-ip=194.214.158.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of e@x80.org does not assert whether or not 194.214.158.136 is permitted sender) identity=mailfrom; client-ip=194.214.158.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; 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@cc-tupan-roaming-b.ensmp.fr) identity=helo; client-ip=194.214.158.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-b.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AQEBktR+XSTesVv9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0ewcTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsaS2RfQ8hRUCJBDI2+?= =?us-ascii?q?YIUMAeUOMvpXopLhp1cStxayGRWgCfntxzJOm3T43bc60+MkEQzewgMtBN0PvX?= =?us-ascii?q?fIoNnvM6cSS++1x7TMwTvMavNW2DP96InPchs8pf+DQ6lwadDKyUIyFg3KlFGQ?= =?us-ascii?q?qYj7MDOa0eQGrnSW7/BhVe21kG4rrgd8qSWhyMcrj4nGnIMVylbc+CV2wYY1Od?= =?us-ascii?q?24SFNgbtK+DJRQsCSaOo1rSc0hW2FloDs2x7kJtJKhYiQG1ZsqywTCZ/GHcIWE?= =?us-ascii?q?+A/vWeiQLDtgh39oeaizihew/ES6zuDwTMi53VdMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2g/P9u5IOFw0lbfDK5E7xL48j4ATsUPZES/zmUX2iqCWelw/9eSy?= =?us-ascii?q?9evnZK7mppqEN4NuhAH+KLwims25AesmLggDR3WX9OCz2bH540H1XbpHgucrnq?= =?us-ascii?q?TZs53WP9kXq6C4DgNN14Ys8Re/DzOo0NQCmnkHKUpIdwycgonmOFzCPOr0DfCl?= =?us-ascii?q?g1SjiDtr3ezJPqX9ApXRKXjOiKvucqx4605Y0QYzydFf54lICrwaO/LyWkrxtM?= =?us-ascii?q?TCARMjMgy0xfznCNRn2Y8EV2KPGPzRDKSHlFaS+uMpa8WBQYIRvDG1f/0s/eLv?= =?us-ascii?q?i3M0nFIZea6B0p4eaXT+FfNjdRa3e33p19opATdS+A0kQ6SqpViDVT9UL1S/RD?= =?us-ascii?q?Anrh4yDIarAoCLb5qsiafAj3TzJYFfem0TUgPEKnzvbYjRHq5UMC8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D7AACEqU1Zh4ie1sJeHgYMGQYMhA+BD?= =?us-ascii?q?Y54kG6ILIRaiwMohXwCg0sUAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMkAYJBAQI?= =?us-ascii?q?CAXkFCwshJQ8BBA08E4oUAw0MDLBXhzQNhBoBAQEHAgEgBYMniFGCV4gHBZ4oO?= =?us-ascii?q?gGHM4dJhliQHotfiTc2gSuBAVGFHYF0dIoVAQEB?= X-IPAS-Result: =?us-ascii?q?A0D7AACEqU1Zh4ie1sJeHgYMGQYMhA+BDY54kG6ILIRaiwM?= =?us-ascii?q?ohXwCg0sUAQEBAQEBAQEBAQESAQEBCgsJCCgvgjMkAYJBAQICAXkFCwshJQ8BB?= =?us-ascii?q?A08E4oUAw0MDLBXhzQNhBoBAQEHAgEgBYMniFGCV4gHBZ4oOgGHM4dJhliQHot?= =?us-ascii?q?fiTc2gSuBAVGFHYF0dIoVAQEB?= X-IronPort-AV: E=Sophos;i="5.39,380,1493676000"; d="scan'208";a="280411987" Received: from boipeva.ensmp.fr (HELO cc-tupan-roaming-b.ensmp.fr) ([194.214.158.136]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jun 2017 01:53:34 +0200 Received: from rochefort (66.9.67.86.rev.sfr.net [86.67.9.66]) (authenticated bits=0) by cc-tupan-roaming-b.ensmp.fr (8.15.2/8.15.2/JMMC-22/Oct/2013) with ESMTPSA id v5NNrVDL022711 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Sat, 24 Jun 2017 01:53:33 +0200 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: Martin DeMello Cc: "caml-list\@inria.fr" Organization: X80 Heavy Industries References: X-Url: https://x80.org/emilio/ Mail-Followup-To: Martin DeMello , "caml-list\@inria.fr" Date: Sat, 24 Jun 2017 01:53:30 +0200 In-Reply-To: (Martin DeMello's message of "Fri, 23 Jun 2017 13:09:26 -0700") Message-ID: <871sqa2rd1.fsf@rochefort> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Miltered: at cc-tupan-roaming-b.ensmp.fr with ID 594DA9FB.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 594DA9FB.001 from 66.9.67.86.rev.sfr.net/66.9.67.86.rev.sfr.net/86.67.9.66/rochefort/ Subject: Re: [Caml-list] how to suppress warnings in merlin? Dear Martin, Martin DeMello writes: > I've got a file with [@@@ ocaml.warning "-10"], but merlin still > highlights every occurrence. Is there a way to make it honour the > ocaml.warning directive, or at least to configure it independently in > merlin? I couldn't find it in the docs. This is also an issue for me; my current workaround is to add `FLG -w -10` but of course it is not optimal; I wonder if there is a better workaround. Maybe we should file an issue at https://github.com/ocaml/merlin/issues ? E.