Re: [YANG] so many naming scopes

Phil Shafer <phil@juniper.net> Fri, 04 January 2008 04:40 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 1JAeMJ-0006Yk-9V; Thu, 03 Jan 2008 23:40:39 -0500
Received: from yang by megatron.ietf.org with local (Exim 4.43) id 1JAeMH-0006YN-DQ for yang-confirm+ok@megatron.ietf.org; Thu, 03 Jan 2008 23:40:37 -0500
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1JAeMH-0006YF-19 for yang@ietf.org; Thu, 03 Jan 2008 23:40:37 -0500
Received: from exprod7og112.obsmtp.com ([64.18.2.177]) by chiedprmail1.ietf.org with esmtp (Exim 4.43) id 1JAeMG-0004vG-HB for yang@ietf.org; Thu, 03 Jan 2008 23:40:36 -0500
Received: from source ([66.129.224.36]) by exprod7ob112.postini.com ([64.18.6.12]) with SMTP; Thu, 03 Jan 2008 20:40:27 PST
Received: from magenta.juniper.net ([172.17.27.123]) by emailsmtp55.jnpr.net with Microsoft SMTPSVC(6.0.3790.1830); Thu, 3 Jan 2008 20:39:48 -0800
Received: from idle.juniper.net (idleski.juniper.net [172.25.4.26]) by magenta.juniper.net (8.11.3/8.11.3) with ESMTP id m044dg952792; Thu, 3 Jan 2008 20:39:48 -0800 (PST) (envelope-from phil@idle.juniper.net)
Received: from idle.juniper.net (localhost [127.0.0.1]) by idle.juniper.net (8.13.8/8.13.8) with ESMTP id m044ZkPE068099; Fri, 4 Jan 2008 04:35:51 GMT (envelope-from phil@idle.juniper.net)
Message-Id: <200801040435.m044ZkPE068099@idle.juniper.net>
To: Andy Bierman <ietf@andybierman.com>
Subject: Re: [YANG] so many naming scopes
In-reply-to: <477D433C.1000709@andybierman.com>
Date: Thu, 03 Jan 2008 23:35:46 -0500
From: Phil Shafer <phil@juniper.net>
X-OriginalArrivalTime: 04 Jan 2008 04:39:48.0684 (UTC) FILETIME=[D689E0C0:01C84E8B]
X-Spam-Score: -4.0 (----)
X-Scan-Signature: 08170828343bcf1325e4a0fb4584481c
Cc: yang@ietf.org
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

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?

Thanks,
 Phil


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