From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lindig@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL 
	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 4C613BC6B
	for <caml-list@yquem.inria.fr>; Wed, 21 Feb 2007 21:59:11 +0100 (CET)
Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.190])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1LKxAl2001099
	for <caml-list@inria.fr>; Wed, 21 Feb 2007 21:59:11 +0100
Received: by nf-out-0910.google.com with SMTP id m19so23881nfc
        for <caml-list@inria.fr>; Wed, 21 Feb 2007 12:59:10 -0800 (PST)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer:sender;
        b=IHI/ON3N2J4B7lPEl6k2qzXWIGgc5SYP3EVHAHrIctWWt+GWdYoQhRqMThVjVKzPJll0oFQWaaU1inv3tvthTuvQSUOAmN1cQv+MUfsz6lFPZXTqx5w/6vOXRZhbo7E/fRU9jfZa7ZYsCO8WTJ4wgiwdX9l+DbgJ+iaGkGW0KEM=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer:sender;
        b=LNH1luHt6toGSiSvKbiG7oemyCjdtYMuUAG7ZugBx/e0Mgdw1DN9xxSeKFZte0a29MPoEqV+LgELXnZOzSiQHlUzUn4qy2WbR0BM+8lxLr4LZIzPkxjMkNRZM9SFOLmllypBqiYE7xuzTMeceRtNjp7V3DvXLZ+5yT+poNIbu7w=
Received: by 10.49.13.19 with SMTP id q19mr2153762nfi.1172091550622;
        Wed, 21 Feb 2007 12:59:10 -0800 (PST)
Received: from ?192.168.1.100? ( [88.68.25.192])
        by mx.google.com with ESMTP id g1sm24628955muf.2007.02.21.12.59.07;
        Wed, 21 Feb 2007 12:59:08 -0800 (PST)
In-Reply-To: <45DCAE89.1050904@gnu.org>
References: <45DCAE89.1050904@gnu.org>
Mime-Version: 1.0 (Apple Message framework v752.3)
Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed
Message-Id: <97C89459-B045-4700-8333-FAE31EC648E0@cs.uni-sb.de>
Cc: Caml List <caml-list@inria.fr>
Content-Transfer-Encoding: quoted-printable
From: Christian Lindig <lindig@cs.uni-sb.de>
Subject: Re: [Caml-list] warning on value shadowing
Date: Wed, 21 Feb 2007 21:57:04 +0100
To: Sam Steingold <sds@gnu.org>
X-Mailer: Apple Mail (2.752.3)
Sender: Christian Lindig <lindig@gmail.com>
X-Miltered: at discorde with ID 45DCB29E.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; lindig:01 lindig:01 foo:01 quux:01 foo:01 avoided:01 quux:01 clashes:01 2007,:98 wrote:01 caml-list:01 short:01 define:01 uni-sb:03 module:03 


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 =20
> and Bar, there should be a warning [..]

While I see your concern I think open is best avoided. To still enjoy =20=

the convenience of  short names, consider writing this in quux.ml:

module F =3D Foo
module B =3D Bar

	F.zot ... B.zot

Voil=E0, no name clashes or shadowing.

-- Christian