Re: [netmod] type equivalence

Carsten Bormann <cabo@tzi.org> Mon, 22 February 2021 13:56 UTC

Return-Path: <cabo@tzi.org>
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 B56983A07EB for <netmod@ietfa.amsl.com>; Mon, 22 Feb 2021 05:56:05 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
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 zT7L_SZT_Mvy for <netmod@ietfa.amsl.com>; Mon, 22 Feb 2021 05:56:01 -0800 (PST)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 96A013A07F7 for <netmod@ietf.org>; Mon, 22 Feb 2021 05:56:00 -0800 (PST)
Received: from [192.168.217.118] (p5089a828.dip0.t-ipconnect.de [80.137.168.40]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4DkkH16ZktzySH; Mon, 22 Feb 2021 14:55:57 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <20210222135333.t4hfa3ekguwm33pm@anna.jacobs.jacobs-university.de>
Date: Mon, 22 Feb 2021 14:55:57 +0100
Cc: Martin Björklund <mbj+ietf@4668.se>, netmod@ietf.org
X-Mao-Original-Outgoing-Id: 635694957.466728-e165c63e09010d370aa54219c380a73b
Content-Transfer-Encoding: quoted-printable
Message-Id: <C83451C6-56D2-4A95-A0FE-66197E7DFB59@tzi.org>
References: <20210222092455.qupjm2d4lpm4ay4n@anna.jacobs.jacobs-university.de> <20210222.104938.680142326480637892.id@4668.se> <20210222100857.ovetw7udo4ccbezx@anna.jacobs.jacobs-university.de> <20210222.111343.254950973345362316.id@4668.se> <04B94A94-236A-44CE-B47C-BE5F36FFF278@tzi.org> <20210222135333.t4hfa3ekguwm33pm@anna.jacobs.jacobs-university.de>
To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
X-Mailer: Apple Mail (2.3608.120.23.2.4)
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/XshXwp1X88rTYssXPbngxY4xwXI>
Subject: Re: [netmod] type equivalence
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: Mon, 22 Feb 2021 13:56:06 -0000

On 2021-02-22, at 14:53, Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> wrote:
> 
> Yes, "base type" is the wrong term, I think we talk about what RFC
> 7950 calls "build-in types”.

OK, so rephrasing my question:

Are all built-in types incompatible in the sense that moving from one to the other is NBC, or are there clusters where moving within is innocuous?

Grüße, Carsten