IETF Logo Mail Archive

Re: [netmod] type equivalence

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Thu, 25 February 2021 20:02 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 581C43A1F74 for <netmod@ietfa.amsl.com>; Thu, 25 Feb 2021 12:02:34 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 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=-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 Ko52LicL4wxd for <netmod@ietfa.amsl.com>; Thu, 25 Feb 2021 12:02:32 -0800 (PST)
Received: from EUR05-DB8-obe.outbound.protection.outlook.com (mail-db8eur05on2089.outbound.protection.outlook.com [40.107.20.89]) (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 F2D9D3A1FAC for <netmod@ietf.org>; Thu, 25 Feb 2021 12:01:42 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=gGL0HvDQ5KPIAz8ehVGOPuMWkdyZZtL7cc10/3CmXLFghOD/m6Ztj+PoIK/BD2zg/d28EL7T20xmxMiY5h5q2yEQnj4XWtiJg/DyHllOQps4/MMJ5QXfcbmaH9Y+rdqqp10wwjyHSB+B3og8BwrOkaGqtH+pHF0rDkk1Kc+Xczdvu3f+EzGGhwZJpQ6sz8mEr+U6pRbC947IOLybaKAqywVSlvRNUbAWycisQgLE9XJ1zS8UsyvcRxVy224kr6J7Kfyo5xIC2527AcSzVXW5dBAVejvEF4nWFePxGzSpTU3EqMhyRxX8Wbuvw2taLzTtg1afaxMBMCmJJo7Epjv4yQ==
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=Co4MZtwmCFRd9C8pHq8t+KmeVO3BMsFz7gimtOQyiFk=; b=bK/p41CaayWdU4zhat5jSVqiAh6Qj54uqBrLQpT2YINg0OnqMQcJiRJTOhcC9xXiaCXEndv+ZcjqoAj9kI6l3SVgGlRgvSY6pOfonfWv7YZ4TeeV/odKOMuSWdv/jEBR+jKHX3iRIAHoqrZTTHP3LA6I9ULC4LTKiimAdsgSs9mtjUem1FQvcuSWQ4lx+LawXIeyHODRKP+NU2ctu6KKmNRq25J1W5nNV1A0M4NtvzTduQzsejU128Os+zPp5Asu3+2+LyAQxOgf+ozVhy8jsq4C0FLzhOXND3qQuCaRLVW1gF800ZrG2jqSDzkkhFg/NmuQZIQ3YzMGjFKmZqOxfQ==
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=Co4MZtwmCFRd9C8pHq8t+KmeVO3BMsFz7gimtOQyiFk=; b=ebqME8J29Fihjcc+lvMLlrM0DhWleKd9nwmm/NnsY1uaZm4A5MhjogxWUiTU5W8iYHYB+QcAtH3Y9vieAWGAWxUmNMPslzsOgVujLm0+x8WIuvq7nB/mlBtcJW/Uj5Je7Xf99t3rmpQ6iVsW4g8Zzp4L/iagyid5myf2go0l9M0=
Authentication-Results: cisco.com; dkim=none (message not signed) header.d=none;cisco.com; dmarc=none action=none header.from=jacobs-university.de;
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23) by AM0P190MB0721.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:1a0::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3868.27; Thu, 25 Feb 2021 20:01:40 +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; Thu, 25 Feb 2021 20:01:40 +0000
Date: Thu, 25 Feb 2021 21:01:39 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: "Rob Wilton (rwilton)" <rwilton@cisco.com>
Cc: "netmod@ietf.org" <netmod@ietf.org>
Message-ID: <20210225200139.uxwymjrgkrkbpyvl@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: "Rob Wilton (rwilton)" <rwilton@cisco.com>, "netmod@ietf.org" <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> <MN2PR11MB4366A13AD09AB4EC9CFD8DB7B59E9@MN2PR11MB4366.namprd11.prod.outlook.com> <20210225180031.zuz2uevh2ozngbzo@anna.jacobs.jacobs-university.de> <MN2PR11MB43664DCFB65CCF42E037C88CB59E9@MN2PR11MB4366.namprd11.prod.outlook.com>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <MN2PR11MB43664DCFB65CCF42E037C88CB59E9@MN2PR11MB4366.namprd11.prod.outlook.com>
X-Originating-IP: [212.201.44.244]
X-ClientProxiedBy: FR2P281CA0012.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:a::22) 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 FR2P281CA0012.DEUP281.PROD.OUTLOOK.COM (2603:10a6:d10:a::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3912.9 via Frontend Transport; Thu, 25 Feb 2021 20:01:40 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: 4a7f6943-bbee-46b9-6956-08d8d9c82a88
X-MS-TrafficTypeDiagnostic: AM0P190MB0721:
X-MS-Exchange-Transport-Forked: True
X-MS-Exchange-MinimumUrlDomainAge: jacobs-university.de#0
X-Microsoft-Antispam-PRVS: <AM0P190MB0721DFE726875EF3DF2CC627DE9E9@AM0P190MB0721.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:8882;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: zvgvavSftHirwpQW+Ap2WRw6SPB+7dAu18ui9djTe6zHPsxn3GY9EZuOjyaXRRX5GCWU60wpB0ismXpLqfvwj4KlxPvVoIcUlZWl/WLVTGrrEXPl8VBpzx/+sDvTxFg/ZOzRYLXwVgDLxGf66GgWM+Djm1K9beKTiWFM6XZpIiWLzW5EUqhSLd7W3kC2dC6NyqTfTw617Y09CPozs51b0xYVW40V92/htnR/5+a1+HI7liYik1iyEnXvJjm6djfumF9Yu3BP9ZxpJp7PpWdeXLxpErHc7JEHXqhVltUy/8+NqqWpgKobp72NbRS1M1tFIyzEC/9yNMHGo2MkF7xxUrEm4cxblQeuVzpAqA4D3hYwkC3FDpL0+1eGTqsZhYjftEKD2KeToicQvVIe4ohtg9kMVftEl9kfE1BaP4Cey//BiXQu1o7ue0SnIYKse4538NuMuRWc1GJdr+6ZTOoQRsExSUeu6DVzVjmodOxsZQyy1X5ygLrtpxn6TQmxSY+5FEa24U+MIU928NrTdEUyfHfv2oxq2ot8n7yW8KdJytrOz1hUQOH2+G7qIfqL1uOutgF4pjUDk9eWrIO3DURqR7AvZDNO3BpyqMlrIrUqke0=
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)(136003)(376002)(346002)(39840400004)(366004)(956004)(8676002)(786003)(4744005)(6486002)(4326008)(6496006)(8936002)(478600001)(186003)(6916009)(3716004)(52116002)(5660300002)(16526019)(66946007)(3450700001)(86362001)(66556008)(66476007)(2906002)(83380400001)(316002)(1076003)(26005); DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData: +FjT0PgiPa1SrwNwC0YEntc6fw42CobW58m3/s9spfQItWMhSE+fCOdfr32EWKe6+opoXbS3YR6gtFob+eVzUL8/O552IVZYDaaJO+5G1e3n+2ZEThQ+GNNre4WoIBAT4vY+G38pRyV475LHIRwLSYV9iBZU4CssCgh46LFP2PbdJPgjLv6dybTq2rwWGM7qcSpTxHLkyGoLeMIRZJVZussnJvJtFuwRv84fhzmfUdum6o0NuPSNpAxBep39mtgKiP0YDMhUX4qy5RPPnAjGC6afD4xj76NUi0yhWjPMO/mLVpiOy/5/kmreq4oawWzGxLVN5FU9t1P0G8f/dNQr9NIykPB7exCGe0e1PODmSI44Wf3ISqBGotL1AdbYmpzanSufdXjPbEuH13QtXEC4iBFEnyRPmkzJfO8Ver9lLFMLfJnHGRToaJihyFJhdtyOTddnxs+gneZlzg0Knpnerc1hxaLPzAq2obTDlU0QKNuxai/e3Nt0L87RqsJu51LTFFaF0yV0bFTpX1pWxy+iEG/1n+j9dH4BlHl3NkEiIF6vGORaPQtoNeQqUMzrlWZAY2AoEwn6Ovy1rwBgSdK7nozLhYPUUp9HcOgXTPszojNpJJwriTQygAvrTvBAejJMl5v8GyvTip95vZpwG85cfmCinId3jsb7h0x2LMQPZmUUWy90pBrqv/oPk0ghIb5lWYaQSzhufyJavZXJ0ZZgHZHbBvFwZNJMW+lNg6PG8tpIZTm1EuSNUZBrxWJeK0GEp/pQHsSHvpyBmK27CvoF1DPe6kZxqgQSzlq6RH5MWRyoIpSJmutBqf7dSFAPl/2ShJRh5QHP25tZXxhOO16b+XPWwzSelki2I5EivsT+CjzYXXtTsh7uU+Llb7xJ75PMxF/SYVSB/L663xWkW8WhtDtXQwmdEotHpoPDfx0pCGIpdDGMnEXvv8UT2Wy/sltiffxpdiuFiMdD3GGbRfV8QNIbZZnvSYdOI8BTILu1YM22Zi6bz7y0rYPbmR77pk6U4xL7rG2m/0sufKn3HaWMRk4rRqWL/4ContPvsmCxNW/T5pBlTP2BwuQJQCrsDk0u5vV4HlvRhKYc5g0c2eH5BBx5rRua0tNa6ijogRZjJEnjb6NLAQk7IUuMJDC0cNC2Z7QZDHjEBiUc+eDPQiYtvDbTn38ePZn+7igy6CkFBRjIJirMKCtGBV1l/MuVI2FARYbvzmNu4gbnLK/wCVqzvo6IaqRQ+5w/SaxDV+8OowyIAso8inkvGQ+NwgqZI0zR+Q63D4+HgFw3HG4DDRiPRB1efGcrokka4TK2Yl3I3vnyQX8D3xdOyNNscsjV3mT2
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: 4a7f6943-bbee-46b9-6956-08d8d9c82a88
X-MS-Exchange-CrossTenant-AuthSource: AM0P190MB0641.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Feb 2021 20:01:40.4459 (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: M2dbBxqH7Z4989Pkt59H9hp1vkDHnj79drAoo7Mp/gXeKpNbOFyxYKyihKZRMYPITykwKnsIKzhse5588+HKh0jcNP51eosyodD5zxoXgkQ=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0P190MB0721
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/LIhnwHfEJUHhJoV5xoCAmMRtNYU>
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: Thu, 25 Feb 2021 20:02:34 -0000

On Thu, Feb 25, 2021 at 07:22:27PM +0000, Rob Wilton (rwilton) wrote:
> 
> As an AD:
> Whether this can be done as a verified errata isn't so clear, but would obviously depend on the proposed text.
>

I have proposed text that tries to fix the unfortunate use of
'syntax'. Does the AD see an issue with the proposed text?

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

v2.23.0 | Report a Bug | By Email