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 8F8E98018B for ; Fri, 23 Jun 2017 22:09:29 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=martindemello@gmail.com; spf=Pass smtp.mailfrom=martindemello@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.161.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of martindemello@gmail.com designates 209.85.161.177 as permitted sender) identity=mailfrom; client-ip=209.85.161.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@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-yw0-f177.google.com) identity=helo; client-ip=209.85.161.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-yw0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALaI99xx6m9USed3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1O4WIJqq85mqBkHD//Il1AaPBtSEraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze6/9pnRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHohi?= =?us-ascii?q?kJNCM3/n/LhcFrkKJXvAisqwBjz4LIYoyYMud1cKPHfdMdQGpMRsFfWDZbAoOg?= =?us-ascii?q?bosPCfcKM+hGoIf6uVQOqR++BQ6xD+7ozz9HnGX23bE70+QnDA7JwgkgEMwKsH?= =?us-ascii?q?TQq9X4L6gSUeWvw6nJyTXPde9Z2TD46IXRdB0qvPKCXapofMbP1UUiExnJg1aQ?= =?us-ascii?q?pID/Ij+Y1/kBv3KG4+diV++ijXMspRtrrTi13Mgsj5HEhoILxVDA8iV02IM1Ks?= =?us-ascii?q?e5SE5/eNKlEJVRuz2DO4t4X88vQWNltDw1yr0Bvp67cywKx4o9yxHDbPyHdpCE?= =?us-ascii?q?4hPlVOmPPTd1nGxpdK67ihqo8kWtyvfwWtS13VpXtCZJj9vBu3IV2xzW8MeHS/?= =?us-ascii?q?99/km72TaI0gDe8uRELloularHKp4hxKM/mYQWsUvdGi/2nEL2gbSZdkUh4Oeo?= =?us-ascii?q?6uDnbq/6qZ+bMo94khv+Pbg2msyjHeQ4NRADUHSB9uS50L3v5En5QLRRjv0qia?= =?us-ascii?q?TZq5DbJcEDpqGjGQNV04Aj6wy+Dzi8ytgYk2MHfxp5f0fNhIHsPxTKIevkJfa5?= =?us-ascii?q?mVWl1jlxjbiSNbTkBtDJL2PfuLbnZ7d0rUBGnlkd19dasrddEK0AJrrfV2r8sN?= =?us-ascii?q?jfRks8OhaowuDrBdBw0ocZcW2KC66ddqjVtAnbtaoUP+CQadpN637GIP8/6qu2?= =?us-ascii?q?gA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DhAQBHdE1ZhrGhVdFeHgYMGQYMhRwHg?= =?us-ascii?q?2WcNIhhjm4Ohg0CgwoHQxQBAQEBAQEBAQEBARIBAQEICwsIKCQLgjMigm0dARs?= =?us-ascii?q?eAxIQDwImAiQBEQEFASIbigsBAxWeE4NFP4wJggQFARyDCQWDXgoZJw1Wg24CB?= =?us-ascii?q?hJ5ghyDTI0CgmEFkUqNGZNjgXEBkB2TThQfgRU2gSt0d4RlH4ISIDaKFQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DhAQBHdE1ZhrGhVdFeHgYMGQYMhRwHg2WcNIhhjm4Ohg0?= =?us-ascii?q?CgwoHQxQBAQEBAQEBAQEBARIBAQEICwsIKCQLgjMigm0dARseAxIQDwImAiQBE?= =?us-ascii?q?QEFASIbigsBAxWeE4NFP4wJggQFARyDCQWDXgoZJw1Wg24CBhJ5ghyDTI0CgmE?= =?us-ascii?q?FkUqNGZNjgXEBkB2TThQfgRU2gSt0d4RlH4ISIDaKFQEBAQ?= X-IronPort-AV: E=Sophos;i="5.39,379,1493676000"; d="scan'208";a="280402603" Received: from mail-yw0-f177.google.com ([209.85.161.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Jun 2017 22:09:28 +0200 Received: by mail-yw0-f177.google.com with SMTP id j11so844247ywa.2 for ; Fri, 23 Jun 2017 13:09:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=ZoH8PCfoIr1b7Cm71ILRLr4CySYyGYqn5mDHeNdEDSQ=; b=WZuT1bLLycQZJ761STxcJUANsmFzUlHVRXNWRe9lW7FJrB0ReIo7JikxiWGXoiEVIS HQ/UIuAAlp5LXp86MAMBrAHScKnJLUuaL+m47JhPqZSGSwEu34HePJcdf+xzqE3+sIie +PPVtIhzmO9lpjUWKPqRSAeVYmWL1Co/jc3NBV/zbmpDT63duaUncnaDNddA5TaClsgC 4YX8+WJCAJ1eptiDSscDV7AiqGZLQ+3nS83LgRQCJfnnxCxcS4xYHc3ME0ekI9P/lxke d9aA6j3/k2pcCUDLaSALxersNO0UhVVSuCcQIA80/KKJNzm47XvFDDYNCTc5fkltD6HJ 6z0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=ZoH8PCfoIr1b7Cm71ILRLr4CySYyGYqn5mDHeNdEDSQ=; b=Pndbab+RdUJzx7N5Trtl7dst2HUiMipI1WrjJq5trANdDb0eASTUvtMPlUnc1ezzkJ FS8gwt+CQlVBlUK1DmNakU+ieKyTjhGdL4RuzTLngr6RzqOdDB2PCEzuQK6yeis7HffF gEFtDuxDjHMyO/HTQM2ZJsEx0bLOArZCVRwiYMnQ7TqymbPRi58sJxcPv6sMSKYPMH9x wW5bGeTB0qYbytXZoZzGU82fzXtxSMsGi7TPPiwPvE74uJdHmBglpDqNxxi7s53K/SDy ONs9OYbbGryuJXIGD/qcSzCTl5yhCbYnrOmoNJ9UJM7zukKQWw0hAsX/KogyFtExeX0c 5T/w== X-Gm-Message-State: AKS2vOwiB/YZzMy7QWGbg18mgeXGdn81zReVgnEjyP6tU1G7DmIB0n3w QiYsqdz4B8/sRSG42uQgky3bijozkcnYmT0= X-Received: by 10.129.181.16 with SMTP id t16mr7759145ywh.158.1498248567233; Fri, 23 Jun 2017 13:09:27 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.210.84 with HTTP; Fri, 23 Jun 2017 13:09:26 -0700 (PDT) From: Martin DeMello Date: Fri, 23 Jun 2017 13:09:26 -0700 Message-ID: To: "caml-list@inria.fr" Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] how to suppress warnings in merlin? 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. martin