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 ED60D7F616 for ; Wed, 22 Feb 2017 20:44:01 +0100 (CET) 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-qk0-f176.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.220.176; 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.220.176 as permitted sender) identity=mailfrom; client-ip=209.85.220.176; 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-qk0-f176.google.com) identity=helo; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qk0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AvclgGBIe87Mn4p3X9dmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKvjxwZ3uMQTl6Ol3ixeRBMOAuq8C0rSd6vqxEUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oMRm7rArdutQIjYZmN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhT?= =?us-ascii?q?wZPDAl7m7Yls1wjLpaoB2/oRx/35XUa5yROPZnY6/RYc8WSW9HU8lWSiJBH5i8?= =?us-ascii?q?b5MRAOUdIeZWoY79p14Uohu/AwmnGefjxzBMi3Pz26AxzuYvHhzc3AE4Hd0Ovn?= =?us-ascii?q?Taotv2OqkPT+660LLFzSnfY/5MxTvx9JTEfxInrPqRXbxwa83RyUw3Gg3ElFqf?= =?us-ascii?q?spblPzKL2eQJrmOV8vZvVeKxhG49tQ5xuCWky8AjiobTnY0V0FHE+jt9wIovPt?= =?us-ascii?q?23VE57bsC+EJROrSGXLIR2QsY4TGFpvCY20KEJuZm+fCUTzpks2hDRa/uCc4eS?= =?us-ascii?q?4xLjUv6cITZ+hHJ/ebKwnQy+8Ua6yuHkVsi7ylZKri1CktXWqn8N0BnT586aQf?= =?us-ascii?q?V+5keswSiD2xzX5+1eIk05lbDXJ4A/zrIsjJYfrEbOEy7wlU7rlqGZbF8k9fKt?= =?us-ascii?q?6+n/YrXpuJucN4hshwH7KKsum8i/Df0hMggNQ2SX4Oq82KDh8ED4WrlKgfo2kq?= =?us-ascii?q?7WsJDeO8sXvLK2AwhQ0oo76ha/CSmp0MgAkHUZMF5IfAiLgovpNl3UPvz0E+uz?= =?us-ascii?q?j06xnDppxv3KJrjhDY/MLnjHnrfhZ7F960tExQo8199Q/IhUCrAfL/L3QEPxr8?= =?us-ascii?q?DXDh8nPAyu3ennEs5w1owbWW2VA6+ZNLnevkOP5uIqO+WMfpMauC7hK/g54P7j?= =?us-ascii?q?lWM2lkUYfamtxJcXbHG4Hu96I0iCenrtgtIBEX8QsQYkTezqjkeCUT9JaHqoUa?= =?us-ascii?q?I8/GJzNIXzJJbGS5qsi/SvxiC+HpBMdCgSA0GJHG3pfMOKQfAJaC+IMOdslCdC?= =?us-ascii?q?W6L3GKE70hT7mwbw0btqKqLv8S0Vr5/5nIx67ufJlBw2syd/D8mH3nulQGR9n2?= =?us-ascii?q?dOTDgzivMs6Xdhw0uOhPAry8dTEsZesrYUCwo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ALAwDc6K1Yf7DcVdFeGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFgEBAQMBAQEJAQEBg0g/gQkHg1SbYoI6hkCORyqFeAKDAAdDFAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBCQsLChsxgjMighwBBSMdARsSCwEDDAYFCw0CAgkdAgIiAREBB?= =?us-ascii?q?QEKEgYTEolKAQMVDqJiP4wDggQFARyDCQWDZQoZJwMKVYMVAQEBAQEBBAEBAQE?= =?us-ascii?q?BARoCBhJ5hUGEb4dagl8FhzgMiQeLRYIChHKLL4JOjkKRXhQegRU2gSEhFB9TF?= =?us-ascii?q?4QlgisiNYoUAQEB?= X-IPAS-Result: =?us-ascii?q?A0ALAwDc6K1Yf7DcVdFeGgEBAQECAQEBAQgBAQEBFgEBAQM?= =?us-ascii?q?BAQEJAQEBg0g/gQkHg1SbYoI6hkCORyqFeAKDAAdDFAEBAQEBAQEBAQEBEgEBC?= =?us-ascii?q?QsLChsxgjMighwBBSMdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEolKAQM?= =?us-ascii?q?VDqJiP4wDggQFARyDCQWDZQoZJwMKVYMVAQEBAQEBBAEBAQEBARoCBhJ5hUGEb?= =?us-ascii?q?4dagl8FhzgMiQeLRYIChHKLL4JOjkKRXhQegRU2gSEhFB9TF4QlgisiNYoUAQE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.35,195,1484002800"; d="scan'208";a="214398539" Received: from mail-qk0-f176.google.com ([209.85.220.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Feb 2017 20:44:00 +0100 Received: by mail-qk0-f176.google.com with SMTP id x71so12869109qkb.3 for ; Wed, 22 Feb 2017 11:44:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=f7hpXTh8CuxnTXdVYNyqF+frbqmblErRfftKkkJ1JNg=; b=nZGWLCPGP56fUKpj7dCLHQGB5PqOL9Lfid/LNlQnqDpranmsAUboz23GorBzqBZpde bkQmXhU6xkmB6TUVcqQdkpoFpQi9cHeCBs6rBlgdFB1K+BGyPX59/XyCnwj3z8G5efho JIGC1moOZeYDntCFnoT357+5npS5XjmmQLR6mo+skEO9OsLpvKuIxawSWCaMqvnxY6xz 1J/zGN0N2l61rR0JBa4AxHjDTw8jrjXE5e5LrtcPhRpaiMVh6y26HKybTDp9GTKdVdD0 Pfr02cB5yxs6dvTwfkmNerzPJn0QZOM1tt3hwmMB3mzInTQvmtcaAtYXAkCpHKc3apXa 7S1Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=f7hpXTh8CuxnTXdVYNyqF+frbqmblErRfftKkkJ1JNg=; b=MNdqiCylO207/xYVh9URCXYnBNTIwDqPgUvmxEh9KzgwqfVCcr4EZoUxKy5AuVLADj FsV1cYZM25xeiOF4jDDcwdGVUDjq7kr0kB/ZXE08jQfQ+ugPhsmE5+MgZkZ9Ow+mPSPm jmrWuw3rUUKRSI5LpUXKFR+g2LWHs90GbrPvl0B7xXGJaUXupvnna+o5qDjtuAN7N8Ol nzbLDFUe5BHjBRO1TZkIwrVFSrVQVwwEL31VELgEWd/2lSTjVQe2mBcS0l+Ol1GjUXt3 A4/EF67FY+kD41siiRLopzOZQVApfyuw9/2CTKyaywUlVyTOTP63emY3S2AMIL3xaU36 Oy1Q== X-Gm-Message-State: AMke39mrze3ztg8ur0OhOzWGjA/X+YEVZtvyxAor8IUuPTAecA3XTlJFc250apNy+D1exvn5jPWfnrQ8+Impjg== X-Received: by 10.55.56.211 with SMTP id f202mr19727802qka.214.1487792639420; Wed, 22 Feb 2017 11:43:59 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.177.154 with HTTP; Wed, 22 Feb 2017 11:43:19 -0800 (PST) In-Reply-To: <58ADE4A2.9060105@ens.fr> References: <20170222170101.GE28111@annexia.org> <20170222173814.GG28111@annexia.org> <2432820.aHjfWRbG44@molnar> <58ADE4A2.9060105@ens.fr> From: Gabriel Scherer Date: Wed, 22 Feb 2017 14:43:19 -0500 Message-ID: To: Aymeric Fromherz Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Warning for unused variables This would be a bug, but I cannot reproduce it on my machine, where all OCaml versions I have (including 4.02.3) raise a warning as expected. On Wed, Feb 22, 2017 at 2:21 PM, Aymeric Fromherz wrote: > 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 > > -- > 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