From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sds@podval.org>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none 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 BFE20BC69
	for <caml-list@yquem.inria.fr>; Wed, 21 Feb 2007 22:10:51 +0100 (CET)
Received: from smtp.janestcapital.com (www.janestcapital.com [66.155.124.107])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1LLAoxa003127
	for <caml-list@inria.fr>; Wed, 21 Feb 2007 22:10:51 +0100
Received: from [192.168.250.217] [209.213.205.130] by janestcapital.com with ESMTP
  (SMTPD-9.10) id A558035C; Wed, 21 Feb 2007 16:10:48 -0500
Message-ID: <45DCB558.6000601@podval.org>
Date: Wed, 21 Feb 2007 16:10:48 -0500
From: Sam Steingold <sds@podval.org>
User-Agent: Thunderbird 1.5.0.8 (X11/20061107)
MIME-Version: 1.0
To: Christian Lindig <lindig@cs.uni-sb.de>
Cc: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] warning on value shadowing
References: <45DCAE89.1050904@gnu.org> <97C89459-B045-4700-8333-FAE31EC648E0@cs.uni-sb.de>
In-Reply-To: <97C89459-B045-4700-8333-FAE31EC648E0@cs.uni-sb.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at discorde with ID 45DCB55A.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; lindig:01 foo:01 quux:01 foo:01 avoided:01 arbitrarily:01 compiler:01 2007,:98 wrote:01 wrote:01 caml-list:01 define:01 alas:07 sds:07 preferences:08 

Christian Lindig wrote:
> 
> On Feb 21, 2007, at 9:41 PM, Sam Steingold wrote:
> 
>> Proposal:
>> When both foo.ml and bar.ml define zot and quux.ml opens both Foo and 
>> Bar, there should be a warning [..]
> 
> While I see your concern I think open is best avoided.

Yes, of course.
Alas, I am not at liberty to arbitrarily and pervasively change a huge 
code-reviewed project to satisfy my stylistic preferences.
I just see no reason for the compiler not to issue such a warning.

Thanks for you comment.

Sam.