Re: [YANG] so many naming scopes

Andy Bierman <ietf@andybierman.com> Mon, 07 January 2008 14:50 UTC

Return-path: <yang-bounces@ietf.org>
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1JBtJO-0006Fi-Ob; Mon, 07 Jan 2008 09:50:46 -0500
Received: from yang by megatron.ietf.org with local (Exim 4.43) id 1JBtJN-0006AB-Be for yang-confirm+ok@megatron.ietf.org; Mon, 07 Jan 2008 09:50:45 -0500
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1JBtJN-00069u-07 for yang@ietf.org; Mon, 07 Jan 2008 09:50:45 -0500
Received: from smtp123.sbc.mail.sp1.yahoo.com ([69.147.64.96]) by chiedprmail1.ietf.org with smtp (Exim 4.43) id 1JBtJM-0000mH-Bb for yang@ietf.org; Mon, 07 Jan 2008 09:50:44 -0500
Received: (qmail 34709 invoked from network); 7 Jan 2008 14:50:43 -0000
Received: from unknown (HELO ?192.168.0.10?) (andybierman@att.net@68.120.80.25 with plain) by smtp123.sbc.mail.sp1.yahoo.com with SMTP; 7 Jan 2008 14:50:43 -0000
X-YMail-OSG: iw3J9rYVM1mPmfgOuUfa9p3tToXhqew4fP4jVe9MQzUDY4gN
Message-ID: <47823C44.5050703@andybierman.com>
Date: Mon, 07 Jan 2008 06:50:44 -0800
From: Andy Bierman <ietf@andybierman.com>
User-Agent: Thunderbird 2.0.0.9 (Windows/20071031)
MIME-Version: 1.0
To: Phil Shafer <phil@juniper.net>, Andy Bierman <ietf@andybierman.com>, yang@ietf.org
Subject: Re: [YANG] so many naming scopes
References: <477D433C.1000709@andybierman.com> <200801040435.m044ZkPE068099@idle.juniper.net> <20080107080224.GA8646@elstar.local>
In-Reply-To: <20080107080224.GA8646@elstar.local>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.0 (/)
X-Scan-Signature: 8abaac9e10c826e8252866cbe6766464
Cc:
X-BeenThere: yang@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: YANG modeling Language for NETCONF <yang.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/yang>, <mailto:yang-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/yang>
List-Post: <mailto:yang@ietf.org>
List-Help: <mailto:yang-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/yang>, <mailto:yang-request@ietf.org?subject=subscribe>
Errors-To: yang-bounces@ietf.org

Juergen Schoenwaelder wrote:
> On Thu, Jan 03, 2008 at 11:35:46PM -0500, Phil Shafer wrote:
>> Andy Bierman writes:
>>> Yes, of course one naming scope (the term namespace is taken)
>>> amongst siblings, except nested typedef and grouping names
>>> cannot mask similar definitions within an ancestor node,
>>> or globally within the same module.  (This part already in the draft.)
>> Isn't this dancing on the line of CLR?  Where's the logic of saying
>> "don't do that" when there's really no ambiguity?  If I say "leaf 
>> foo { .. } typedef foo { .. }", my use of "type foo" is clear.
>> Is there a situation where isn't not clear to the compiler
>> what is meant?  Are we trying to get the compiler to enforce
>> style rules when the language proper doesn't require them?
> 
> I agree - lets not make coding styles a part of the language design.
> 

Then let's change this sentence in sec 6.2:

    All identifiers defined in a namespace MUST be unique and SHOULD NOT
    only differ in case.

Change to:

   All identifiers defined in a namespace MUST be unique.


> /js
> 


Andy


_______________________________________________
YANG mailing list
YANG@ietf.org
https://www1.ietf.org/mailman/listinfo/yang