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 0BFDA7EEFA for ; Thu, 12 Nov 2015 20:34:37 +0100 (CET) IronPort-PHdr: 9a23:MlegJx143uSxUmbXsmDT+DRfVm0co7zxezQtwd8ZsegeKfad9pjvdHbS+e9qxAeQG96LtrQY2qGP6fyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLrhqvrocGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskz9TBGA538RGl0MnwRPGBTCpEXkX43+sy/38PJn1TedJtHxZbVoSXKl9ag9GzHyjyJSFTMj/WTGwv15iKZcuFr1thV7x4nMSI6QPft6OKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f53.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.215.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.215.53 as permitted sender) identity=mailfrom; client-ip=209.85.215.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@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-lf0-f53.google.com) identity=helo; client-ip=209.85.215.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-lf0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CzAACN6ERWmzXXVdFehH0GtBmME4YQAoE3BzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYIIAQEEEhEdARsdAQMMBgULDQICJgICIgERAQUBHAYTCBqHdgEDEqVvgTE+MYtIgWqCeYZLChknDVaEDAEBAQEBBQEBAQEBGAEFDnOKUYd1gUQFlkiNJ5p4EiSBFziCLyOBXT40hT0BAQE X-IPAS-Result: A0CzAACN6ERWmzXXVdFehH0GtBmME4YQAoE3BzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYIIAQEEEhEdARsdAQMMBgULDQICJgICIgERAQUBHAYTCBqHdgEDEqVvgTE+MYtIgWqCeYZLChknDVaEDAEBAQEBBQEBAQEBGAEFDnOKUYd1gUQFlkiNJ5p4EiSBFziCLyOBXT40hT0BAQE X-IronPort-AV: E=Sophos;i="5.20,283,1444687200"; d="scan'208";a="153637099" Received: from mail-lf0-f53.google.com ([209.85.215.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Nov 2015 20:34:36 +0100 Received: by lffz63 with SMTP id z63so40385960lff.0 for ; Thu, 12 Nov 2015 11:34:35 -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-type; bh=/NQmr2Lr81FyGA7T945lhNkrjY9gl/a8dpwwzG7Hf1U=; b=08II3qddW8wSReyly740qZ1eIFOG6gv0RLsTJz20Ze14d2MYEZ7Qxa+DTBL+pJpWhj quaOSfZpauDZgoFIi1/Mjg/QjkmBV1boi32d8OC1vNr5gkVNYECs17+hbhaj39nQoygz Xqd+nIclv9rH3xZ0pqIiBN1SP6yxisxTTiVvPjPC6hpuTXNmpdMR60TzeSm30QoFFqJk 4pOGMzb9ACqnCyDfurQKexOwaBsdMCnceGxkuQKLaf7WFxwsTmVmA4ZIzmFqf9BuFG/M B0mY6zmnoIh9Ss1dF+ebAI1QBDUuhZpuZu2o9bggOrdaG/501nccGIDTS/O2mx/w5KzA MLOQ== MIME-Version: 1.0 X-Received: by 10.25.80.137 with SMTP id e131mr8277974lfb.11.1447356875367; Thu, 12 Nov 2015 11:34:35 -0800 (PST) Received: by 10.25.24.232 with HTTP; Thu, 12 Nov 2015 11:34:35 -0800 (PST) In-Reply-To: References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F4C5@IRSMSX102.ger.corp.intel.com> <5644845B.6000801@freenet.de> <9463C955F1814F02BE3D330F5C3E4E17@erratique.ch> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F675@IRSMSX102.ger.corp.intel.com> <1457A4B3A2894AC0858EE7C5FCBA3D7F@erratique.ch> <1447346244.4108313.438013625.74F09F5B@webmail.messagingengine.com> <1FC1AC75A2AB4C22B73E890AAF747F6D@erratique.ch> Date: Thu, 12 Nov 2015 19:34:35 +0000 Message-ID: From: Jeremy Yallop To: Virgile Prevosto Cc: =?UTF-8?Q?Daniel_B=C3=BCnzli?= , Leo White , OCAML Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Suppress warning from within Ocaml source file On 12 November 2015 at 18:39, Virgile Prevosto wrote: > But in the record case, the expr in { expr with ... } will indeed be > evaluated (thus is not dead), but its result will never be used, which > is barely better. it's not just the result that's unused: the type of 'expr' isn't used either when all the fields are specified: # {"one" with contents = 2};; Characters 0-25: {"one" with contents = 2};; ^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 23: all the fields are explicitly listed in this record: the 'with' clause is useless. - : int ref = {contents = 2}