From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <aymeric.fromherz@ens.fr>
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 3C7687F616
	for <caml-list@sympa.inria.fr>; Wed, 22 Feb 2017 20:14:36 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=aymeric.fromherz@ens.fr; spf=Pass smtp.mailfrom=aymeric.fromherz@ens.fr; spf=None smtp.helo=postmaster@nef2.ens.fr
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  aymeric.fromherz@ens.fr) identity=pra;
  client-ip=129.199.96.40;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="aymeric.fromherz@ens.fr";
  x-sender="aymeric.fromherz@ens.fr";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  aymeric.fromherz@ens.fr designates 129.199.96.40 as permitted
  sender) identity=mailfrom; client-ip=129.199.96.40;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="aymeric.fromherz@ens.fr";
  x-sender="aymeric.fromherz@ens.fr";
  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@nef2.ens.fr) identity=helo;
  client-ip=129.199.96.40;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="aymeric.fromherz@ens.fr";
  x-sender="postmaster@nef2.ens.fr";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AJa9JJRWQ5n7Jq22X8CEo9v/JmzDV8LGtZVwlr6E/?=
 =?us-ascii?q?grcLSJyIuqrYZRyHt8tkgFKBZ4jH8fUM07OQ6PG9HzVeqs/b6jhCKMUKDEBVz5?=
 =?us-ascii?q?1O3kQJO42sNw7SFLbSdSs0HcBPBhdO3kqQFgxrIvv4fEDYuXao7DQfSV3VPAtx?=
 =?us-ascii?q?IfnpSMaJ15zkn7P6x5qGaAxNgH+5YKhuBBSwtwTY8McM0qV4LaNk4wrMr2FJcK?=
 =?us-ascii?q?x432RtJV+JjV6o79a18YRi+GJeofUk98NaQ433eb9+Q6YOX2duCHw8+MC+7UqL?=
 =?us-ascii?q?dgCI/HZJCmg=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJBADr4a1Yhyhgx4FeHAEBBAEBCgEBF?=
 =?us-ascii?q?wEBBAEBCgEBhAqEYYp6qCmGIgKDB0MUAQEBAQEBAQEBAQESAQEBCA0JCh0vgjM?=
 =?us-ascii?q?ggh4GIw8BRRElAgUWCwICCQMCAQIBRRMIAQGJcQWvNYImi0AmgQuFQYoPgjqCX?=
 =?us-ascii?q?wEEnBBrZjGSBI8tkyU2XUQ1I4UrgW6LCAEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0AJBADr4a1Yhyhgx4FeHAEBBAEBCgEBFwEBBAEBCgEBhAq?=
 =?us-ascii?q?EYYp6qCmGIgKDB0MUAQEBAQEBAQEBAQESAQEBCA0JCh0vgjMggh4GIw8BRRElA?=
 =?us-ascii?q?gUWCwICCQMCAQIBRRMIAQGJcQWvNYImi0AmgQuFQYoPgjqCXwEEnBBrZjGSBI8?=
 =?us-ascii?q?tkyU2XUQ1I4UrgW6LCAEBAQ?=
X-IronPort-AV: E=Sophos;i="5.35,195,1484002800"; 
   d="scan'208";a="261696254"
Received: from nef2.ens.fr ([129.199.96.40])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Feb 2017 20:14:35 +0100
Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22])
          by nef2.ens.fr (8.13.6/1.01.28121999) with ESMTP id v1MJEZ7q078230
          for <caml-list@inria.fr>; Wed, 22 Feb 2017 20:14:35 +0100 (CET)
Received: from smtps.spi.ens.fr ([10.129.0.3]) by clipper.ens.fr (8.14.4/jb-1.1)
	id v1MJEZvO055203 for <caml-list@inria.fr>; Wed, 22 Feb 2017 20:14:35 +0100
Received: from  [192.168.0.3] using smtps by smtps.spi.ens.fr (8.14.3/jb-1.1)
       id v1MJEaB2003178 for <caml-list@inria.fr>; Wed, 22 Feb 2017 20:14:36 +0100 (authenticated user fromherz)
X-ENS-Received:  ([176.159.6.225])
X-Envelope-To: <caml-list@inria.fr>
References: <20170222170101.GE28111@annexia.org>
 <20170222173814.GG28111@annexia.org>
 <CALdWJ+yo_tmH6K5QyX-JT_jvhPKUbSHR1+zBZR+P2Zi9k9ToCQ@mail.gmail.com>
 <2432820.aHjfWRbG44@molnar>
From: Aymeric Fromherz <aymeric.fromherz@ens.fr>
To: caml-list@inria.fr
Message-ID: <58ADE4A2.9060105@ens.fr>
Date: Wed, 22 Feb 2017 20:21:06 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.2.0
MIME-Version: 1.0
In-Reply-To: <2432820.aHjfWRbG44@molnar>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Virus-Scanned: by amavisd-milter (http://amavis.org/)
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (nef2.ens.fr [129.199.96.32]); Wed, 22 Feb 2017 20:14:35 +0100 (CET)
Subject: [Caml-list] Warning for unused variables

Hi,

Using OCaml 4.02.3, I do not have a warning for unused variables when
only one of the variables in a pair is unused.
For instance, the code

let (a,b) = (0, 42) in b;;

raises no warning, while

let (a,b) = (0,42) in 1;; raises the following

Warning 26: unused variable b.
Warning 26: unused variable a.

I would have expected a warning in the first case since a is unused.

Warnings for single unused variables, such as let a = 42 in 1 are still
raised.

What is the reason for this? Is this behaviour intended? How are unused
variables determined?

Thanks in advance,
Aymeric Fromherz