Re: [netmod] [Technical Errata Reported] RFC7950 (6031)

Martin Björklund <mbj+ietf@4668.se> Fri, 27 March 2020 15:35 UTC

Return-Path: <mbj+ietf@4668.se>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 3BCCA3A0041 for <netmod@ietfa.amsl.com>; Fri, 27 Mar 2020 08:35:52 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.099
X-Spam-Level:
X-Spam-Status: No, score=-0.099 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, PDS_NAKED_TO_NUMERO=1.999, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=4668.se header.b=TwgHyhKc; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=VdWZoKe6
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Fu8kPRpO-cww for <netmod@ietfa.amsl.com>; Fri, 27 Mar 2020 08:35:50 -0700 (PDT)
Received: from out4-smtp.messagingengine.com (out4-smtp.messagingengine.com [66.111.4.28]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 994183A0036 for <netmod@ietf.org>; Fri, 27 Mar 2020 08:35:50 -0700 (PDT)
Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 9F2025C04BE; Fri, 27 Mar 2020 11:35:49 -0400 (EDT)
Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Fri, 27 Mar 2020 11:35:49 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=4668.se; h=date :message-id:to:cc:subject:from:in-reply-to:references :mime-version:content-type:content-transfer-encoding; s=fm1; bh= IG1WLbr0hYOSWFhS3sVsJY47IpNME/bJ3JOOqqQyBW0=; b=TwgHyhKcDvu7oHVk nyvQJIQbI116Lt+GnGr2b99UK63RJbDcBKMMXbSV/ar+/Wbl06zPGL7cMaWVBl0L rWkcV3nOYjiQl5AyH9/YfTVbT8dHXnLpfJojBxJ+Wwy3mrhBIg2wHgSxzNBIuEHu /5QtXY5d2iiX9P35p3CanTwOpqRXaoTvOpcH1kY8mxN8jRCt+U7+iB0XQJhq7XOa dXEI3L31kke95nZmIBoDX2/1Qg8igGnMIOqPvMfU3e4X/0s5f9js1ODO7XHZDQwV riLy6kdJ900ebKBE8SNghsIHxcuztJPHP8IAJk2sd6ogoDLlJlpXw+6mPlcxO9U+ Nbq55Q==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=IG1WLbr0hYOSWFhS3sVsJY47IpNME/bJ3JOOqqQyB W0=; b=VdWZoKe6WPTbI87eVHDwXj9tzYnJUy9atkDpsrrs5FA7Y/oMDEI8qKFnx K9uu0/GuHI8hh/dl9xJ6slr2cl8f35+ypLqOuu9CDwCVRqqs//4spxgHMzfgwVtG 0yI8xPjzKS3nLegfLr2msT1KNjPaVx0KDO+/Ola5kv5D5cknjgYJH8mbP8pgCRSp 85BDj3/27BVD9oMdql+UHWRtsCaDzLKOIhyrsBrtaMW1pjs9YWt0vTHHNczFXbV1 cHe0IXOx0C4HtQ79eLfmriyGvdqXD+2XkdCYGK7GwAPdizyY32llimCaAwsr6ShS AEWSI5Tp31wTVo/cq3XQZZ8zHdmXA==
X-ME-Sender: <xms:VB1-Xs2o2f2Yp8NhMT-qRSuvTi4eU701xVkhKSHnXwmHXocPN23TEQ>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedugedrudehledgjeehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpeffkffvuffhjghfofggtgfgsehtje ertdertddvnecuhfhrohhmpeforghrthhinhcuuehjnphrkhhluhhnugcuoehmsghjodhi vghtfhesgeeiieekrdhsvgeqnecuffhomhgrihhnpehrfhgtqdgvughithhorhdrohhrgh dpihgvthhfrdhorhhgpdhjrggtohgsshdquhhnihhvvghrshhithihrdguvgenucfkphep vddujedrfedurdduiedurdejheenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmh epmhgrihhlfhhrohhmpehmsghjodhivghtfhesgeeiieekrdhsvg
X-ME-Proxy: <xmx:VB1-XrUCdqebNgZHMHmNqEzd6b4-049B4TIXVDnbCTt4beapXhzVeg> <xmx:VB1-Xv6xNIrWdZvxmInIAWQGPZpyUPuuCh6u82eS8BnyUvCsWy29cw> <xmx:VB1-XqIGgZmeDm7-kIkICcD-uKdvEfnw8ZP6u_JmXKTCsgGax08_JQ> <xmx:VR1-XuFyp922sBNjlV-BBZ2vjWd_kz0dSX5HmLibpxv1EGMoFtyocg>
Received: from localhost (unknown [217.31.161.75]) by mail.messagingengine.com (Postfix) with ESMTPA id F28B3306C3AD; Fri, 27 Mar 2020 11:35:46 -0400 (EDT)
Date: Fri, 27 Mar 2020 16:35:44 +0100 (CET)
Message-Id: <20200327.163544.1954043640939771631.id@4668.se>
To: j.schoenwaelder@jacobs-university.de
Cc: rfc-editor@rfc-editor.org, ibagdona@gmail.com, netmod@ietf.org, warren@kumari.net
From: Martin =?iso-8859-1?Q?Bj=F6rklund?= <mbj+ietf@4668.se>
In-Reply-To: <20200327151743.xwzncq4osj26tzec@anna.jacobs.jacobs-university.de>
References: <20200327101812.51904F40712@rfc-editor.org> <20200327151743.xwzncq4osj26tzec@anna.jacobs.jacobs-university.de>
X-Mailer: Mew version 6.8 on Emacs 26.3
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/LxanXBmiyWz-qar1o3tVSxgtvJE>
Subject: Re: [netmod] [Technical Errata Reported] RFC7950 (6031)
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 27 Mar 2020 15:35:52 -0000

[re-sent w/ correct address]

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> wrote:
> Hi,
> 
> two comments:
> 
> - It is unclear to me whether this really qualifies as an errata.
> 
> - If we add this, then there should probably text about which
>   combinations are allowed. For example, for pattern and ranges, there
>   is explicit text that says further restrictions of the value space
>   are possible, bot not expansions. If we follow that logic, then
> 
>   typedef a {
>     type leaf-ref {
>       path "/some/thing";
>       require-instance true;
>     }
>   }
> 
>   typedef b {
>     type a {
>       require-instance false;
>     }
>   }
> 
>   might be illegal since b has a larger value space than a.

The value space of b is the same as for a. "require-instance" doesn't
change the value space; it changes semantic validation of the given
values ((see my mail from 17 Mar, "Require-instance problem").


/martin


> 
> /js
> 
> On Fri, Mar 27, 2020 at 03:18:12AM -0700, RFC Errata System wrote:
> > The following errata report has been submitted for RFC7950,
> > "The YANG 1.1 Data Modeling Language".
> > 
> > --------------------------------------
> > You may review the report below and at:
> > https://www.rfc-editor.org/errata/eid6031
> > 
> > --------------------------------------
> > Type: Technical
> > Reported by: Radek Krejci <rkrejci@cesnet.cz>
> > 
> > Section: 9.9.3
> > 
> > Original Text
> > -------------
> > The "require-instance" statement, which is a substatement to the 
> > "type" statement, MAY be present if the type is "instance-identifier"
> > or "leafref".  It takes as an argument the string "true" or "false".
> > If this statement is not present, it defaults to "true".
> > 
> > Corrected Text
> > --------------
> > The "require-instance" statement, which is a substatement to the
> > "type" statement, MAY be present if the type is "instance-identifier",
> > "leafref" or a type derived from them. It takes as an argument the
> > string "true" or "false". If this statement is not present, it defaults
> > to "true".
> > 
> > Notes
> > -----
> > As discussed in https://mailarchive.ietf.org/arch/browse/netconf/?gbt=1&index=p_zRKwQ6TBxTuCDPc5wJbdZgWTcgWTc, authors expect that the require-instance statement is available not only for leafref and instance-identifier types, but also for all the types derived from them using typedef statement. Since no one argued against this understanding, this errata changes the text to the same form as in other restrictions applicable to derived types.
> > 
> > Instructions:
> > -------------
> > This erratum is currently posted as "Reported". If necessary, please
> > use "Reply All" to discuss whether it should be verified or
> > rejected. When a decision is reached, the verifying party  
> > can log in to change the status and edit the report, if necessary. 
> > 
> > --------------------------------------
> > RFC7950 (draft-ietf-netmod-rfc6020bis-14)
> > --------------------------------------
> > Title               : The YANG 1.1 Data Modeling Language
> > Publication Date    : August 2016
> > Author(s)           : M. Bjorklund, Ed.
> > Category            : PROPOSED STANDARD
> > Source              : Network Modeling
> > Area                : Operations and Management
> > Stream              : IETF
> > Verifying Party     : IESG
> > 
> > _______________________________________________
> > netmod mailing list
> > netmod@ietf.org
> > https://www.ietf.org/mailman/listinfo/netmod
> 
> -- 
> Juergen Schoenwaelder           Jacobs University Bremen gGmbH
> Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
> Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>
> 
> _______________________________________________
> netmod mailing list
> netmod@ietf.org
> https://www.ietf.org/mailman/listinfo/netmod