Re: [netmod] Clarification on deviating type resolve scope?

Martin Björklund <mbj+ietf@4668.se> Fri, 19 February 2021 14:45 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 0D34F3A0DDE for <netmod@ietfa.amsl.com>; Fri, 19 Feb 2021 06:45:36 -0800 (PST)
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=YiQ9/tYf; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=Ap/Itk8H
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 e0PiKMhxzld8 for <netmod@ietfa.amsl.com>; Fri, 19 Feb 2021 06:45:34 -0800 (PST)
Received: from out5-smtp.messagingengine.com (out5-smtp.messagingengine.com [66.111.4.29]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 420F13A0DC0 for <netmod@ietf.org>; Fri, 19 Feb 2021 06:45:34 -0800 (PST)
Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 818475C0127; Fri, 19 Feb 2021 09:45:33 -0500 (EST)
Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Fri, 19 Feb 2021 09:45:33 -0500
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= eU1irFi8gwYJB6GnqlIJc8+6UiGzpTIYTyPYTKZM7Kc=; b=YiQ9/tYfEeP42/wj zaRkLqivYycFJ037g3aiU/Ot0Mwo84tWp/rSn4MmU0Rd+3us3CR2BJp7+IpKBfS+ jjnLG8kUqdciLNxWzx7VORdBljILIuXKBls+ZcQsLSUtSwd1Ls5e9u16lu2L4rby t3KRWJ8oJFpmGpMzxQDrwwpiAVWoR3R+S6xCP7PZKD7modo+5zytSy9g6SyjL2bq TPX3VxRzbRQHpzJOIi8RX1KnfNJa9BysLUwQWej++05457x1EkNfVPKOGOMjKNHx M8/iIChrUQfLbGZaynP3mJSwMAyXeLsKQ3hwDA11l7Ld5fG99FkHi7o7pEqULGb3 ZUULcQ==
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=eU1irFi8gwYJB6GnqlIJc8+6UiGzpTIYTyPYTKZM7 Kc=; b=Ap/Itk8Hm9YBnp9qdU/xthkbPnnR+usreFkJ9rJ3VJ9+BUS02ogL+WIK2 ajYl0Ima/8H/RRLnnB5GwKfve8SM25EjZHT8JNkaHIn1ZQ3gBBp7hojKY//4ap7x vxmACC04Bdzzd7Dh5hoxzBf9beeJIUFQd2Jus6XkjthM5RvAVNqo5J9aQWcWcNtR kC/J0LCuyikF2nzIij7bozx9A+sZ+25ufCFxOQ9ZHEzBH4zRUBZA18fIey57iaAj IkMxYsxqdN64fLA/z5S6SPeEOpyqspCQO+heeGO2uTQPHFVFPQEVrae7aADqIrpN WuXixqAYDgzY6QwByZyu+yKLHKcOg==
X-ME-Sender: <xms:DM8vYJ_Z-qllRJ-L_qu8AvLx-NqDJi6rjwjDFdng_gjJPtN1M9XonQ> <xme:DM8vYFH57005tkjOBdpovGn1Xwc1sz4ryzSn2MRnPP8eWURFsmEYa5dOcfw4HyeB1 wz0uQFhR1t7dvHRIks>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduledrjeeigdeikecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepfffkvffuhfgjfhfogggtgfesthhqre dtredtudenucfhrhhomhepofgrrhhtihhnuceujhpnrhhklhhunhguuceomhgsjhdoihgv thhfseegieeikedrshgvqeenucggtffrrghtthgvrhhnpeeitdethfdthfekteelteekve eifefhudduueekvdefleegtdevgefgteefjefgleenucfkphepudehkedrudejgedrgedr vdduheenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpe hmsghjodhivghtfhesgeeiieekrdhsvg
X-ME-Proxy: <xmx:DM8vYMnxpdzEh6Ecz-XKa_NK0iXYfZjUxVqlhYxPJ9KPlLD-lr1qiQ> <xmx:DM8vYJZkcii_uvNuIeuDKO0IEi8ekaj6-WtEcYZgWeMAHtP6jCYlLQ> <xmx:DM8vYBEGC1wUdbccJsnmTXpGwvg2fZhH6yKwynXIESATMvwnV1rYAw> <xmx:Dc8vYO1rkrrkcbU6BKUxJynExFVWec7MT7Pd-9LPc-ba4wgEKfbNJg>
Received: from localhost (unknown [158.174.4.215]) by mail.messagingengine.com (Postfix) with ESMTPA id CA6601080064; Fri, 19 Feb 2021 09:45:31 -0500 (EST)
Date: Fri, 19 Feb 2021 15:45:29 +0100
Message-Id: <20210219.154529.2075004464438647704.id@4668.se>
To: plundell=40cisco.com@dmarc.ietf.org
Cc: netmod@ietf.org
From: Martin Björklund <mbj+ietf@4668.se>
In-Reply-To: <DM6PR11MB3161A7FBFD19B872F29AD0ADC6849@DM6PR11MB3161.namprd11.prod.outlook.com>
References: <DM6PR11MB3161A7FBFD19B872F29AD0ADC6849@DM6PR11MB3161.namprd11.prod.outlook.com>
X-Mailer: Mew version 6.8 on Emacs 26.3
Mime-Version: 1.0
Content-Type: Text/Plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/lXbYlKuKB-xJYeotE4i8czlJnOU>
Subject: Re: [netmod] Clarification on deviating type resolve scope?
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, 19 Feb 2021 14:45:36 -0000

Hi Peter,

[Kul att se dig här!]

"Peter Lundell \(plundell\)" <plundell=40cisco.com@dmarc.ietf.org> wrote:
> Hi all.
> 
> I'm working with an issue involving a deviate replace type and the problem is
> where the type should be resolved.
> 
> The scope in which the deviated property is resolved in is not explicitly
> stated in RFC 7950 (7.20.3.2). This would have impact when replacing the type,
> both when it's prefixed and when it's not.
> It does seem logical, and also in line with the rest of the RFC, to evaluate the
> replaced property in deviating module scope and not target module scope.

Section 5.1 says:

   Statements in the module or submodule can
   reference definitions in the external module using the prefix
   specified in the "import" statement.

   [...]

   When a definition in an external module is referenced, a locally
   defined prefix MUST be used, followed by a colon (":") and then the
   external identifier.  References to definitions in the local module
   MAY use the prefix notation.

This is a general rule, and it is not repeated in every place where
it applies.  So it applies to this case as well.



/martin



> Can deviating module scope be assumed?
> Should the RFC be clarified and the scope explicitly stated?
> 
> BR
> /Peter Lundell
> 
>