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 88AB27EEFA for ; Thu, 12 Nov 2015 17:37:27 +0100 (CET) IronPort-PHdr: 9a23:8GCEchL4JwShZfql5NmcpTZWNBhigK39O0sv0rFitYgUKPvxwZ3uMQTl6Ol3ixeRBMOAu68C17ud4/6ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLrhqvipdX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7awnYbGloWkwZFS1zB4RbSWo/u6Ha8sOdhjnrJdfbqRKw5DGzxp5xgTwXl3X8K Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=None smtp.helo=postmaster@out4-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@out4-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out4-smtp.messagingengine.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A5EQBcv0RWnBwEb0JehH2+SgEBAoFkhgYKAoE6QAwBAQEBAQEBARABAQEBAQYNCQkhLkEMAYFfgggBAQMBJxk6BAsLRiwriD8IskKFWot/AQEBBwEBAQEBGAaLUoUngn2BFY4WiDePApIWiFRYAQEBgi+BeyA0ghaDJwEBAQ X-IPAS-Result: A0A5EQBcv0RWnBwEb0JehH2+SgEBAoFkhgYKAoE6QAwBAQEBAQEBARABAQEBAQYNCQkhLkEMAYFfgggBAQMBJxk6BAsLRiwriD8IskKFWot/AQEBBwEBAQEBGAaLUoUngn2BFY4WiDePApIWiFRYAQEBgi+BeyA0ghaDJwEBAQ X-IronPort-AV: E=Sophos;i="5.20,282,1444687200"; d="scan'208";a="153620688" Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Nov 2015 17:37:26 +0100 Received: from compute6.internal (compute6.nyi.internal [10.202.2.46]) by mailout.nyi.internal (Postfix) with ESMTP id 9A4BA20DCF for ; Thu, 12 Nov 2015 11:37:24 -0500 (EST) Received: from web3 ([10.202.2.213]) by compute6.internal (MEProxy); Thu, 12 Nov 2015 11:37:24 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=lpw25.net; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=d2svgYmHTRKBtTE75Ew7Evql3QM=; b=HzlmRC vlnQM4ioPg19LKIzMsAa+Cl2usxzsCExyUR5wBRgPmYJeJYmp4MRw+ton3hNrTYV lmDosHK0z9U4AZzdVynxIcwT/0nzyQDyOViS6ps0jF3gpqBdSkBtf9t/P8qT8gj0 y617Brzu4sA723KnuFbFBzULhCqltsC8FThRg= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=d2svgYmHTRKBtTE 75Ew7Evql3QM=; b=USEDwY0cM54QK7+/n16M5/kqDSTX6QtvII18J+draykDP0x aLdZnEHOYPWN7gyZjK/taNjtNfuTYsng4qo1OiOrru+Dj/UAePRW7zIDOZXixSGU lI5qiNj671OOqD9hklW2oxkZUw/NFAD5VF6y+GrFokilbKFYQsKkcW/dk+lA= Received: by web3.nyi.internal (Postfix, from userid 99) id 316D410F6F4; Thu, 12 Nov 2015 11:37:24 -0500 (EST) Message-Id: <1447346244.4108313.438013625.74F09F5B@webmail.messagingengine.com> X-Sasl-Enc: YOxqmdGP7NOXkKHGJ0djM0Ac8+PhdJEzJtwmNmIsVIpi 1447346244 From: Leo White To: caml-list@inria.fr MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Mailer: MessagingEngine.com Webmail Interface - ajax-643af86c Date: Thu, 12 Nov 2015 11:37:24 -0500 In-Reply-To: <1457A4B3A2894AC0858EE7C5FCBA3D7F@erratique.ch> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F4C5@IRSMSX102.ger.corp.intel.com> <5644845B.6000801@freenet.de> <9463C955F1814F02BE3D330F5C3E4E17@erratique.ch> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F675@IRSMSX102.ger.corp.intel.com> <1457A4B3A2894AC0858EE7C5FCBA3D7F@erratique.ch> Subject: Re: [Caml-list] Suppress warning from within Ocaml source file > This misses the point. By using `with` I can instruct the compiler that I don't want my program not to compile if I add or remove fields. In the current system I can do this with any update I want to make to a record except if for some strange reason that update happen to touch all the current fields of the record. I don't particularly wish to argue for or against using this warning, but I think it is worth noting that this is not really any different from: # type t = Foo | Bar;; type t = Foo | Bar # let f = function | Foo -> 1 | Bar -> 2 | _ -> 3;; Characters 47-48: | _ -> 3;; ^ Warning 11: this match case is unused. val f : t -> int = Regards, Leo