From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.6 required=5.0 tests=RCVD_NUMERIC_HELO,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D6E4CBC69 for ; Wed, 21 Feb 2007 21:42:13 +0100 (CET) Received: from ciao.gmane.org (main.gmane.org [80.91.229.2]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1LKgDOQ030550 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Wed, 21 Feb 2007 21:42:13 +0100 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1HJyHq-0005fC-Rs for caml-list@inria.fr; Wed, 21 Feb 2007 21:42:02 +0100 Received: from 209.213.205.130 ([209.213.205.130]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 21 Feb 2007 21:42:02 +0100 Received: from sds by 209.213.205.130 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 21 Feb 2007 21:42:02 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sam Steingold Subject: warning on value shadowing Date: Wed, 21 Feb 2007 15:41:45 -0500 Message-ID: <45DCAE89.1050904@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: 209.213.205.130 User-Agent: Thunderbird 1.5.0.8 (X11/20061107) Sender: news X-Miltered: at discorde with ID 45DCAEA5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; foo:01 quux:01 foo:01 quux:01 overkill:01 overkill:01 define:01 compiling:02 gnu:03 sds:07 versa:09 depending:09 consider:09 consider:09 issuing:10 Proposal: When both foo.ml and bar.ml define zot and quux.ml opens both Foo and Bar, there should be a warning (when compiling quux) about Foo.zot being shadowed by Bar.zot (or vice versa, depending on the order of the open statements). If you think this is an overkill, please at least consider issuing the warning when zot is used in quux.ml. If you think that is also an overkill, please at least consider issuing the warning when foo=quux.