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

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Fri, 27 March 2020 15:17 UTC

Return-Path: <J.Schoenwaelder@jacobs-university.de>
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 B16BF3A08DE for <netmod@ietfa.amsl.com>; Fri, 27 Mar 2020 08:17:51 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.362
X-Spam-Level:
X-Spam-Status: No, score=-3.362 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, MSGID_FROM_MTA_HEADER=0.001, RCVD_IN_MSPIKE_H2=-1.463, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=jacobsuniversity.onmicrosoft.com
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 8kTAh79jXs0H for <netmod@ietfa.amsl.com>; Fri, 27 Mar 2020 08:17:49 -0700 (PDT)
Received: from EUR04-VI1-obe.outbound.protection.outlook.com (mail-eopbgr80073.outbound.protection.outlook.com [40.107.8.73]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 4BAF53A076C for <netmod@ietf.org>; Fri, 27 Mar 2020 08:17:48 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XSMWIPtqJiLl+fevsAjzWlRCcP8jlzYKpLo8zvPhKl5155OImuvaMVFgFLuiCoTSpmGZYfI3CwcZsTSpJWZ3wqOqWHjXb8jzSm4pklFvEAHYCussV2zdInX7moNdb/I33IgIsKJmCstXEQkWapuyfqLkdizuLPs69wCm4hML8Wlt+lfFVuBH1Cj7NJcIvJ/CUo/QhaBabDmPDXOeSCEJ33C5oC4eKUzEGr1bkLOthNM+mRTCCy0WBBtu5F/jF91Huv4O/cA+AhDWL+YGsAbQxHy2uZ/aJMg7H9H/sTlEK4l3Wm5AWrq4Xvv9sB+Ta7EgxloffD8kx5qH1S0KdksfWA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=5gytbRT8gTcdmY/u8hu6tCyjDhc+E+ZHbmRUaxQAALs=; b=jBG45NWziyiK5T9+wa0VPBvPke0TR2cpyTJnh2ee/6mgOr4j0ImsgZqk7+bqXKsv1RnxyJCgyKiyRT15Rh28robjAB2vAeaPZL8hIQofHk5fVtMMyero49PYgweXMLXir4ZWU/o/DHT8eeboZJFCQE675/GQ+dwbRBKOt4iE6hGxtOZdCcBqS2108L2wqOWeljW38ln6O6NUfttYrbZMbrUgjOC/mlW9hh4KnO/MBRqmxKPFJ+ykuW0mjLNTYoBVDRaDX2WWRidKgiWgPv9TM8NrMYZLKSpA0WIbP6HfL3IyjBOf71uaq5lrilYK4m/j8h5kXL2CfQ8g5w9fbaZzjg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jacobs-university.de; dmarc=pass action=none header.from=jacobs-university.de; dkim=pass header.d=jacobs-university.de; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=5gytbRT8gTcdmY/u8hu6tCyjDhc+E+ZHbmRUaxQAALs=; b=O1UQ06hVH9eHv01zni7skuzp8GGgWXyXNM2oqmKad63/lQIIA3E/7sefIuR0hp1R8zrslQXQNipM0ukRLqabnPnEYqYZ6RjlOanfvRGUCnf//RZCe8DgRcVsFMRpt5EKnEahLjoyfWYaBpPe1vw2vVDeofJqmXgk/2X8RC+3XiI=
Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=J.Schoenwaelder@jacobs-university.de;
Received: from HE1P190MB0315.EURP190.PROD.OUTLOOK.COM (10.160.48.146) by HE1P190MB0060.EURP190.PROD.OUTLOOK.COM (10.172.127.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2856.19; Fri, 27 Mar 2020 15:17:45 +0000
Received: from HE1P190MB0315.EURP190.PROD.OUTLOOK.COM ([fe80::2541:1a1b:124b:9881]) by HE1P190MB0315.EURP190.PROD.OUTLOOK.COM ([fe80::2541:1a1b:124b:9881%7]) with mapi id 15.20.2835.025; Fri, 27 Mar 2020 15:17:45 +0000
Date: Fri, 27 Mar 2020 16:17:43 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: RFC Errata System <rfc-editor@rfc-editor.org>
Cc: mbj@tail-f.com, ibagdona@gmail.com, warren@kumari.net, joelja@bogus.com, kent+ietf@watsen.net, lberger@labn.net, netmod@ietf.org
Message-ID: <20200327151743.xwzncq4osj26tzec@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: RFC Errata System <rfc-editor@rfc-editor.org>, mbj@tail-f.com, ibagdona@gmail.com, warren@kumari.net, joelja@bogus.com, kent+ietf@watsen.net, lberger@labn.net, netmod@ietf.org
References: <20200327101812.51904F40712@rfc-editor.org>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20200327101812.51904F40712@rfc-editor.org>
X-ClientProxiedBy: AM3PR05CA0137.eurprd05.prod.outlook.com (2603:10a6:207:3::15) To HE1P190MB0315.EURP190.PROD.OUTLOOK.COM (2603:10a6:7:5f::18)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from localhost (2001:638:709:5::7) by AM3PR05CA0137.eurprd05.prod.outlook.com (2603:10a6:207:3::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2856.20 via Frontend Transport; Fri, 27 Mar 2020 15:17:44 +0000
X-Originating-IP: [2001:638:709:5::7]
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: ffe271b9-87fd-41ef-c7cc-08d7d2620004
X-MS-TrafficTypeDiagnostic: HE1P190MB0060:
X-MS-Exchange-Transport-Forked: True
X-Microsoft-Antispam-PRVS: <HE1P190MB00608867F649E0AED02CFF71DECC0@HE1P190MB0060.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:10000;
X-Forefront-PRVS: 0355F3A3AE
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:HE1P190MB0315.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFTY:; SFS:(10009020)(136003)(376002)(39850400004)(366004)(396003)(346002)(6496006)(478600001)(81166006)(66556008)(66476007)(81156014)(8676002)(966005)(8936002)(5660300002)(3450700001)(86362001)(1076003)(66946007)(316002)(786003)(6916009)(52116002)(6486002)(2906002)(186003)(16526019)(4326008); DIR:OUT; SFP:1101;
Received-SPF: None (protection.outlook.com: jacobs-university.de does not designate permitted sender hosts)
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: 7PsB46QPrLHPfUizfqq0b4y8Kug4TGJHrNuUbXyGPCps1Ez+d5cq+Q9kpt/ENONhyko6bMT+0EX5l3Dl4z92T5/zvH2szej7uzss1QDe22XwoyjGO6OVABhuWf7yE4aYvfrtC3Q6nhJII0nIlLDe/G8DnL2Ci3pVh7nFWm762QwpTRc3j63/DAYZTaBQclgDN6PYaXjKNus4Z3XYKjJH667Cpns/u23OGZDZ5R70RDNzvILeM7jGqo6x8NlpzwiLfwbCAINJaeMB1k4qe/EwbmeezaL2K0CpM3hAeRF1TfQ1gtnDCFi4Z/FGxbhZxsQY5Mj4bJb2VbZiv2siKJD9njnuWdu0WplmBnMyYzcI5fEnnHQmCsbSgsY3kjz1SVyxBHWKFOO1Fq1g40eaPINp5u+qPU337KLdaT+7IMEkEWxpvkpDRGdk6iQgawYPLTjY0nLUJ/6K0flkP4ys8wV0+7FHPmrQiyGpUVUe0EUPF+HCKYxrVlY2s5aKEGfrRuUAgu5h71NtxZtXIskihujd8w==
X-MS-Exchange-AntiSpam-MessageData: bfi/vploG9ppdnVaXd1lo/lEpyidHojv+gBr8pLy+Dx0fH2pOY9xBJgmhz2IuPoRgFBR5O5XKH8wu3Yj09YqTFP7hlRoFncYKo+IGhG6auAW1CuV2v3A76biVsILEr7UUpv+H2Tp2qFfWl3+eDDHdbxhsH2MqQ0PnfRG8H4wdXw=
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: ffe271b9-87fd-41ef-c7cc-08d7d2620004
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 27 Mar 2020 15:17:44.8463 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: DDq2UxzUcF5VWWh+tZ+g6iekXWr8MV1ZLA7y+gx84t+e8GVJiPDa39JCul8dx5ilXJGiiGDZfG+fFhRsKzHctgsnWudDcJuzvbVoMT5g2TU=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: HE1P190MB0060
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/z8FGRnmEXp3GTT-BEaKDODq7554>
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:17:52 -0000

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.

/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/>