From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 313F97EE80 for ; Fri, 22 Mar 2013 10:06:16 +0100 (CET) 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.214.47; 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.214.47 as permitted sender) identity=mailfrom; client-ip=209.85.214.47; 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-bk0-f47.google.com) identity=helo; client-ip=209.85.214.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQDAEoeTFHRVdYviGdsb2JhbABDh2gBq2GSNYFXCBYOAQEBCgkUFAQkgiQBAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh28BAw8Mo1+MMoJ7hDMKGScDClmIaxEBBQyPBgeDQAOWZIEfjgIWKYQuOw X-IPAS-Result: AlQDAEoeTFHRVdYviGdsb2JhbABDh2gBq2GSNYFXCBYOAQEBCgkUFAQkgiQBAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh28BAw8Mo1+MMoJ7hDMKGScDClmIaxEBBQyPBgeDQAOWZIEfjgIWKYQuOw X-IronPort-AV: E=Sophos;i="4.84,891,1355094000"; d="scan'208";a="7433826" Received: from mail-bk0-f47.google.com ([209.85.214.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Mar 2013 10:06:15 +0100 Received: by mail-bk0-f47.google.com with SMTP id jc3so1746920bkc.20 for ; Fri, 22 Mar 2013 02:06:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=CWCywG5P7NTekA3tw2TkMWWN9cktmNSVjZQICS8aNM8=; b=VrPiP8Jg1G28Znaixfz5DtKRT/PZIW+Vd2w7Jz9qSBWAgQHzq2JtPAAVXIabHMfg07 svdSxOIFfOnA9DSO3RQSASB9mspnIzgOktOlM6AXAyZAv4buR0TlWV4sYDWdDGkOzoug uc2MPHxZHgmqvln0twczyMV2B+uv75/Xs0mngDxi7l4+Vxy/ZgerwNPIzrrjTN1DkzMU qCkUH+LErR0IHDyGas6t0DFHjkKJhNXC4YNAxM5mMCbs6TkC0xkpOyRr/7C5MLo55W7u IludyPjhSVs9bpB7UkBQHWSRhf8FwIQzV5n8y7NmthDWsOnXQ0tjBDag+se3RoArxhDy STVw== X-Received: by 10.205.0.193 with SMTP id nn1mr455282bkb.94.1363943175003; Fri, 22 Mar 2013 02:06:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.205.83.144 with HTTP; Fri, 22 Mar 2013 02:05:34 -0700 (PDT) In-Reply-To: <514C1E1B.9050907@riken.jp> References: <514C1E1B.9050907@riken.jp> From: Gabriel Scherer Date: Fri, 22 Mar 2013 10:05:34 +0100 Message-ID: To: Francois Berenger Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Warning 20: Unused function argument My own guess (pure speculation) as to why this difference is that enabling it by default would have raised too many warnings on existing code, in particular breaking code of people sadly using a "all enabled warnings are errors" discipline (don't!), while unused let-bound variables where much less frequent in existing code. On Fri, Mar 22, 2013 at 10:02 AM, Francois Berenger wrote: > Hello, > > I understand it is turned off by default. > > I am a bit surprised as it is as important > to me as an unused variable, which triggers a warning > by default. > > Regards, > F. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs