Re: [netmod] type equivalence

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Mon, 22 February 2021 13:53 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 BC4273A046B for <netmod@ietfa.amsl.com>; Mon, 22 Feb 2021 05:53:38 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 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_DNSWL_BLOCKED=0.001, RCVD_IN_MSPIKE_H2=-0.001, 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 GkAKemqnPK2N for <netmod@ietfa.amsl.com>; Mon, 22 Feb 2021 05:53:36 -0800 (PST)
Received: from EUR01-DB5-obe.outbound.protection.outlook.com (mail-eopbgr150088.outbound.protection.outlook.com [40.107.15.88]) (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 8D2A63A040F for <netmod@ietf.org>; Mon, 22 Feb 2021 05:53:36 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=PnnpsxM7ZPN+yg0NbroCSFj62h4MmYW0daA57TW+0sABxtfk8A+Q66Eh+F4A3HAjJulgaBDyrD7ZvssnrsydLhd5T8ZYVMrOOf66n/Ty/zXSgDEHcmiXvJWHAyk505q4TlwDRJ9skQvlzSkQ1qV/hUghrcM1pSYznZFdUUBEF4pYmfmpctfdGUyxUooY3gA3hx55E/6ueZGHnIZNDcrYwURx5Vae6KiWfo8YREr25RYPiZUZOsK3HYtcfKzU/gzEXALxb+Jpav3N5cw5GUu9DHpTHHU4JRNtDSY+OBOGkE3YwUIETtpuBUzUxMfdZ6ecpVU4dLA+M8DbEGBnn9ND8w==
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=9GfnK+qQycUfJl0n0REPFzqMDUA5SP3/KSSJnscqeKs=; b=MOGrMRvz2HR5gRndOYfbq9MZcoIJwt1nawSiwFUjXcUX8/gmBAifdOSburGS0VEtdhSa9elLghCCvSV2P3QtyLE2bn+beKNl5WKb0Lj9PDOITSx/X1T9JhDbHjITUM3XgVswuc1c1prM0aa/uJHfqEG4qp2Mh7mUQRB43/QT/qm/kc/aiMr7WQ2EHS/T5I+MFRrYyFIG2rvbfZL8v1hNW4zmGtiZbrj/HjrkxfxRsfL4pl6SkHz4/RGtVh22k/3+t+jAEDpDtvuMwXjNjGLagYkocUtD4WEqshIVMd9ACuMlJ2owxVAgJqCjSiJy1ttg/vb9p5zozuO/biTbUJyNdw==
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=9GfnK+qQycUfJl0n0REPFzqMDUA5SP3/KSSJnscqeKs=; b=ERVlxIRBERocVpmO2EhrhcrxAwIQS/BS1yg7yvcFJncUzAoGQSAjJfWXQG8hM3aSccD33XgOJm25AmvZZrBg0TBIdeHiLkz+W70ySrMZCfC6Q6s8RtLR/TL6S0wT46oU8abTDQSt4z1Ls7jhLzX7OeMLXqcnWBtO3PN54CYVXzk=
Authentication-Results: tzi.org; dkim=none (message not signed) header.d=none;tzi.org; dmarc=none action=none header.from=jacobs-university.de;
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23) by AM0P190MB0772.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:191::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3868.27; Mon, 22 Feb 2021 13:53:34 +0000
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM ([fe80::1ce1:49e3:3e54:804d]) by AM0P190MB0641.EURP190.PROD.OUTLOOK.COM ([fe80::1ce1:49e3:3e54:804d%5]) with mapi id 15.20.3868.033; Mon, 22 Feb 2021 13:53:34 +0000
Date: Mon, 22 Feb 2021 14:53:33 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Carsten Bormann <cabo@tzi.org>
Cc: Martin Björklund <mbj+ietf@4668.se>, netmod@ietf.org
Message-ID: <20210222135333.t4hfa3ekguwm33pm@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Carsten Bormann <cabo@tzi.org>, Martin Björklund <mbj+ietf@4668.se>, netmod@ietf.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>
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <04B94A94-236A-44CE-B47C-BE5F36FFF278@tzi.org>
X-Originating-IP: [212.201.44.244]
X-ClientProxiedBy: AM9P193CA0026.EURP193.PROD.OUTLOOK.COM (2603:10a6:20b:21e::31) To AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from localhost (212.201.44.244) by AM9P193CA0026.EURP193.PROD.OUTLOOK.COM (2603:10a6:20b:21e::31) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3868.28 via Frontend Transport; Mon, 22 Feb 2021 13:53:34 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: 052ffb31-b92e-4197-3685-08d8d7393eff
X-MS-TrafficTypeDiagnostic: AM0P190MB0772:
X-MS-Exchange-Transport-Forked: True
X-Microsoft-Antispam-PRVS: <AM0P190MB07727536C56EA08E1153D908DE819@AM0P190MB0772.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:9508;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: iTVHYVtXIv0C29nHMi5XvdlX7B15VGzziEoEZyjR5mnPTzn8yMavDocck0U2M6B0FmdD/6gwib5pFkTf/cRlZrlB3wEEs8YhSgBRQpz6lQdPe80DRtYcymNC8m9hvMcyEjdQyqIaE2rcUqtYJLIXdEx+awR+eEwc+vcELrHraoD/xNk8YdqRPPkWQ3QsbpWfg3wK+Pqbycx1M2gCLQX5yYD1G91zaXVAWgjLevkPP1uwFnez3q2peZoJalf5SplDkgg9RODbLXll4h19AlYhIQHuQizRVlB+G8UbtnT0jpuOktdqXqeoCL9+NB5WbCF1ESq8wiSaV8sPlN/2b5JH1ECLv3bKV+8jpZzdzrkWCZocY8vxwWDRse0MOy1AES5ERP/hDlahgaKD53NWBEeqic1VuYgiz6Y+7udW6n6EWRHpeeJQaBJWUjQOhIzwOcVJueBrp2QfCEjDstQHVU4CIPEiK1QZ38IGtWq5IUF8XpTzGyR7RMZQXrZ+hYCPrVdB24AbZguBzL9oMhDwKlYAc6isBJcUs7/Fpxuht3Lo2JmFjTE+Qfm/qzyCmNnbVMM/KoTDGn/n8JJeQHRnxoEZYfO+xXJOLttziIS3HRpYwgWm7kRVN2NbuOhPhkGTZwgTeSOf1Vcxl8bL6L+cL6xm7g==
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:AM0P190MB0641.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(396003)(376002)(136003)(39840400004)(366004)(346002)(86362001)(6486002)(83080400002)(8676002)(66946007)(26005)(52116002)(53546011)(186003)(956004)(16526019)(66476007)(6916009)(786003)(66556008)(478600001)(8936002)(4326008)(6496006)(316002)(1076003)(2906002)(3450700001)(5660300002); DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData: 57aZrmc5Mx6SXQrh1V7juKZc7GzpisTX05+8tp/zHrMStqHazGzSqJdvOnEwAG0p3dVAOra1UklV1R/G2/GbTAOGw6UF1p1xw7iWKQbXZqmnDW8+Do2sOBWs7E6qUZDBebpfIx0oOt7ScLnbGfCLgK54bFP3nCerV64srGvtJtq6P86vAG/lD0IMDhGdq05fFGSh2p6bQv8pEqi1nqLYYqb399XwFg0iVyUM/yHCuNrnjQewEigMaLhBSloApxwLiuOBTZYaEM1unyB29+9D0zOoS4yNq9DGuGeIEBS4KER3Xeqh0Wir0hJUhxbKJdTbG0AKQg9gGBhBX+LZx5iTtMS+j1KIQJwaeQCnpHIzS0EyjKNB1BnpVZT07sANd+T2Tu+e9GeRRa/LkAix9xceFLl0wBeIMZTn4KWKr1iyUjiM6WF9HriKjYRSrVgpPsIZwUUuopLQRIDkNguxGw7xP6NVQS/foT46Nz4mh2otecRSvOWyGY4tBusQsf9pzhkvWeAS8THoZcYTmIVLkVnmWVq4Ng7vSGp+WiASaCbJrlfSAFSCgZzj+2MXXcO73iM86ffZ4hiPseybjp8UGPwCQwBmpgqPcMLopPaE5o+vVk8HK7aI7irxh/d/OY5HhfTAwI1M/ntas7eBGLhg8MZigTsI1gDhnwvy8sXBaUx+UMGJPr1+nFZ3x/harArgW8NJrTMGWWG8FvXxmuBp31eNsSKqi3a6FYnGQt2gq1LOeIW/NH+wME9yBB/Zz4EBEGOH1b3c22G2vLf+GPHj0YeYKbKYN7QSnv9pP5X+6LvpmSuDS6lQhNlOiOi0uVREKEk4aOuXN7Kvmluf6vR72YqR3mCOi/IaV4WVVoFld0CKlVprxNcshjepmEmU+aRoogpIguzy4+9YH/Fdzrr5OxBbYjmKBbOGNEji2/mJmOs4Tuk0Y0juvaTx/RJBen95z3pHCOVBmRVmIsSzTnwMMIaFDXCrWprkwQFGd5jjv8bzHM2KHm1iDst0P0iSNQ/YPVNzXXsWv27poJSxqmk2Mu1taKTGCryEZdR+dS5RmIgSYWyecORfC25+AN8T1H0LDWHzLYB4Gg83/X8+ngossymWqId9jfI24MDsAQZFu3rumL1G/+oLXZN/3q9muby2PzRM15VdIdgAyNyonrb6xW6KVWWBvS7JeKIt8EFiCiv7ydIVDYYX+Pfxy6kPDHWPMVtBRmIDEqO0wvD9x3iEitOJdueZYChwkl+wsmohendKXP1uZAD7n5R1OFVNN/PgsWamjN+sPuaHwhGD1/pv9S+AVph9mpMBdJGlcad07YoprlhtT9YKk4fJqEqbDcLcDQdC
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: 052ffb31-b92e-4197-3685-08d8d7393eff
X-MS-Exchange-CrossTenant-AuthSource: AM0P190MB0641.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Feb 2021 13:53:34.4070 (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: 0F4bZ06+sO2j+Gw6m8du/0wDtYZgRC3lztuuQaF5TKUk2sioYj+az0dL7ROHhc/qvFC8L1eN9ZBJ9LqGDLZvKGXHuKjPzL0bl4V5ABh2KLQ=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0P190MB0772
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/C-njdk7zQPN53lACpY4FrSMw3tg>
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:53:39 -0000

On Mon, Feb 22, 2021 at 11:47:05AM +0100, Carsten Bormann wrote:
> 
> 
> > On 2021-02-22, at 11:13, Martin Björklund <mbj+ietf@4668.se> wrote:
> > 
> > Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> wrote:
> >> Thanks Martin,
> >> 
> >> so you are saying that
> >> 
> >>  int8 { range "1..10"; }
> >> 
> >> is indeed different from
> >> 
> >>  uint8 { range "1..10"; }
> >> 
> >> and
> >> 
> >>  int32 { range "1..10"; }
> > 
> > Yes.
> 
> Oh.  People often choose uint8 etc. with an intention to set a range.
> I don’t think they know that they are setting themselves up for NBC if that range needs to be extended later.
> So I would have expected that there is a common base type these are all derived from.
> 
> RFC 7950 does not use "base type" as an absolute term; it only can be used relative to “derived type”.
> I don’t know which of the built-in types are “absolute base types” in the sense you would need it to define the rule.
>

Yes, "base type" is the wrong term, I think we talk about what RFC
7950 calls "build-in types".

/js

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