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 6E3E37EEFA for ; Thu, 12 Nov 2015 10:45:34 +0100 (CET) IronPort-PHdr: 9a23:NuJi8RULt5qn32Xlp6HeA0GuclvV8LGtZVwlr6E/grcLSJyIuqrYZh2Gt8tkgFKBZ4jH8fUM07OQ6PC9HzRYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730o8WbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskyJdgyC6WcGVX1S2j9JCAjM4RWwFsP0syD6v+d5njKdMMLqV7cscTWk86pvDhTvjXFUGSQ+9TT4g8Zqja9f6CmqpxFlzpScNI6cPuB/c6ebZtgaSHBMRO5eUiVABsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.177 as permitted sender) identity=mailfrom; client-ip=209.85.213.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-ig0-f177.google.com) identity=helo; client-ip=209.85.213.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BrAADzXkRWm7HVVdFeg1o0bwa0FoogAQ2BZSOFbQKBMAc4FAEBAQEBAQEBEAEBAQEBBgsLCSEugi2CCAEBBBIRHQEIEx0BAwwGBQsNAgImAgIiAREBBQEcBhMIGod2AQMSDaUegTE+MYtIgWqCeYZTChknDVaEDQEBAQEBAQQBAQEBAQEXAQUOc4VThH6HdYFEBZZIhR2ICoFblniCJRIkgRcfAQGCRiOBXj00hT0BAQE X-IPAS-Result: A0BrAADzXkRWm7HVVdFeg1o0bwa0FoogAQ2BZSOFbQKBMAc4FAEBAQEBAQEBEAEBAQEBBgsLCSEugi2CCAEBBBIRHQEIEx0BAwwGBQsNAgImAgIiAREBBQEcBhMIGod2AQMSDaUegTE+MYtIgWqCeYZTChknDVaEDQEBAQEBAQQBAQEBAQEXAQUOc4VThH6HdYFEBZZIhR2ICoFblniCJRIkgRcfAQGCRiOBXj00hT0BAQE X-IronPort-AV: E=Sophos;i="5.20,281,1444687200"; d="scan'208";a="153555691" Received: from mail-ig0-f177.google.com ([209.85.213.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Nov 2015 10:45:33 +0100 Received: by igvi2 with SMTP id i2so11115259igv.0 for ; Thu, 12 Nov 2015 01:45:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=c9YXBfOIwGvrw5KiVgrLHwoeTqFvjEGTEV4bl3KZ5wo=; b=Z90240KqgCdDoquD5mGHUz5GHi64gC/g2cRE3C5Gb0Ao5k2dsizJJkCNDJenxLJ0sf vmTy3OkbEjdSM9bFzTBlSoaEYeWlIrlbatPabtsU7zkYWJUGu1MC3sr4yAwba7X0AWkU /TTA5FiHCPo3REP2IoEP0K5gE2SAsuDaXXc6eV2ThkgFNPAMXV6GWg8+DvyDa5bXWlbn X5LCfJzqTpbIoPs7n3ZnIhW8JD/KPS82K+Q38cG3+f746arWHXj9Iamrcxumot0NNhem R3poIDFHqvBOiYG5nLYb1Hf83pwV5YfvYORpfm+qOYWi3zM4SzRg/LnofR6+HpHQjnBG CdZw== X-Received: by 10.50.13.72 with SMTP id f8mr36838821igc.38.1447321532509; Thu, 12 Nov 2015 01:45:32 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.39.200 with HTTP; Thu, 12 Nov 2015 01:44:53 -0800 (PST) In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F509@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F4C5@IRSMSX102.ger.corp.intel.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3F509@IRSMSX102.ger.corp.intel.com> From: Gabriel Scherer Date: Thu, 12 Nov 2015 10:44:53 +0100 Message-ID: To: "Soegtrop, Michael" Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Suppress warning from within Ocaml source file You can just use the tag warn(-23) It is documented for example in https://github.com/gasche/manual-ocamlbuild/blob/master/manual.md#tags-basics On Thu, Nov 12, 2015 at 10:33 AM, Soegtrop, Michael wrote: > Dear Gabriel, > >> I would agree this warning is of debatable value: warnings should pressure us >> to make our code *more* robust to extension by adding new fields/variants, >> not *less*. > > I take your advice and simply disable this warning for all source files. > > Just I wonder why I have to call ocamlbuild with -cflag -g -cflag -w -cflag -23. From the ocamlbuild documentation I would expect that -cflag -g,-w,-23 should also work, but it results in a usage info. > > Best regards, > > Michael > Intel Deutschland GmbH > Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany > Tel: +49 89 99 8853-0, www.intel.de > Managing Directors: Christin Eisenschmid, Christian Lamprechter > Chairperson of the Supervisory Board: Nicole Lau > Registered Office: Munich > Commercial Register: Amtsgericht Muenchen HRB 186928