Re: [YANG] so many naming scopes

Martin Bjorklund <mbj@tail-f.com> Fri, 04 January 2008 07:31 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 1JAh1g-0007aL-T0; Fri, 04 Jan 2008 02:31:32 -0500
Received: from yang by megatron.ietf.org with local (Exim 4.43) id 1JAh1f-0007Rq-M3 for yang-confirm+ok@megatron.ietf.org; Fri, 04 Jan 2008 02:31:31 -0500
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1JAh1f-0007NY-A4 for yang@ietf.org; Fri, 04 Jan 2008 02:31:31 -0500
Received: from [213.180.94.162] (helo=mail.tail-f.com) by chiedprmail1.ietf.org with esmtp (Exim 4.43) id 1JAh1e-0008Ei-RF for yang@ietf.org; Fri, 04 Jan 2008 02:31:31 -0500
Received: from localhost (138.162.241.83.in-addr.dgcsystems.net [83.241.162.138]) by mail.tail-f.com (Postfix) with ESMTP id C66641B80C3; Fri, 4 Jan 2008 08:31:28 +0100 (CET)
Date: Fri, 04 Jan 2008 08:32:08 +0100 (CET)
Message-Id: <20080104.083208.86847805.mbj@tail-f.com>
To: phil@juniper.net
Subject: Re: [YANG] so many naming scopes
From: Martin Bjorklund <mbj@tail-f.com>
In-Reply-To: <200801040435.m044ZkPE068099@idle.juniper.net>
References: <477D433C.1000709@andybierman.com> <200801040435.m044ZkPE068099@idle.juniper.net>
X-Mailer: Mew version 5.1.51 on Emacs 22.1 / Mule 5.0 (SAKAKI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.1 (/)
X-Scan-Signature: 798b2e660f1819ae38035ac1d8d5e3ab
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

Phil Shafer <phil@juniper.net> 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?

One reason is the augmentation of groupings that we discussed (I'm
planning to write about this disussion to the list, RSN).  If we allow
augment of groupings, then the grouping identifiers must share the
namespace with data-defs/rpc/notifs.



/martin


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