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=3.5 required=5.0 tests=SPF_HELO_SOFTFAIL, SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 03BEABC69 for ; Sun, 25 Feb 2007 01:23:10 +0100 (CET) Received: from mta3.srv.hcvlny.cv.net (mta3.srv.hcvlny.cv.net [167.206.4.198]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1P0N9gg005348 for ; Sun, 25 Feb 2007 01:23:10 +0100 Return-Receipt-To: sds@gnu.org Received: from loiso.podval.org (ool-182f780f.dyn.optonline.net [24.47.120.15]) by mta3.srv.hcvlny.cv.net (Sun Java System Messaging Server 6.2-6.01 (built Apr 3 2006)) with ESMTP id <0JDZ00LMUT2KUVC0@mta3.srv.hcvlny.cv.net> for caml-list@inria.fr; Sat, 24 Feb 2007 19:23:09 -0500 (EST) Received: by loiso.podval.org (Postfix, from userid 500) id 2B14E21E055; Sat, 24 Feb 2007 19:23:08 -0500 (EST) Date: Sat, 24 Feb 2007 19:23:07 -0500 From: Sam Steingold Subject: Re: [Caml-list] Re: warning on value shadowing In-reply-to: <1172287905.23720.90.camel@rosella.wigram> To: skaller Cc: Jacques Garrigue , caml-list@inria.fr Reply-To: sds@gnu.org Message-id: MIME-version: 1.0 Content-type: text/plain Content-transfer-encoding: 7BIT Mail-Copies-To: never X-Attribution: Sam X-Disclaimer: You should not expect anyone to agree with me. References: <45DCAE89.1050904@gnu.org> <20070222.095436.125900161.garrigue@math.nagoya-u.ac.jp> <45DF53D7.4090007@gnu.org> <1172287905.23720.90.camel@rosella.wigram> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.94 (gnu/linux) X-j-chkmail-Score: MSGID : 45E0D6ED.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 45E0D6ED.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; overkill:01 refactor:01 foo:01 foo:01 fedora:01 legislature:98 wrote:01 wrote:01 caml-list:01 garrigue:03 arg:03 jacques:03 gnu:03 perhaps:04 fri:05 > * skaller [2007-02-24 14:31:45 +1100]: > > On Fri, 2007-02-23 at 15:51 -0500, Sam Steingold wrote: >> Jacques Garrigue wrote: > >> > The first one is clearly overkill: if nobody uses zot, then who cares? >> >> you are not using it NOW, but you might in the future, at which point >> you will all of a sudden have to refactor your code to avoid the >> warning. I would rather see the shadowing warning the moment I add "open >> Foo" for the first time. > > Once perhaps. After that you'd be demanding a way to turn it off > for that case. of course, there must be a way to clearly specify that I expect Foo.bar to shadow Zot.bar so that I will not be bothered zbout bar again. -- Sam Steingold (http://sds.podval.org/) on Fedora Core release 6 (Zod) http://memri.org http://ffii.org http://pmw.org.il http://camera.org http://palestinefacts.org http://dhimmi.com http://israelunderattack.slide.com nobody's life, liberty or property are safe while the legislature is in session