Re: [netmod] Text in import to indicate whether a module is needed as import-only or as implemented

"Schönwälder, Jürgen" <J.Schoenwaelder@jacobs-university.de> Mon, 02 March 2020 18:37 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 627933A0E49 for <netmod@ietfa.amsl.com>; Mon, 2 Mar 2020 10:37:37 -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, 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 6_5s_OOmaYZx for <netmod@ietfa.amsl.com>; Mon, 2 Mar 2020 10:37:35 -0800 (PST)
Received: from EUR02-VE1-obe.outbound.protection.outlook.com (mail-eopbgr20074.outbound.protection.outlook.com [40.107.2.74]) (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 882B43A0E73 for <netmod@ietf.org>; Mon, 2 Mar 2020 10:37:35 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; =?utf-8?q?b=3Di8Vn6vLo3qQTXfaaWFDDEQdQmAHZo6kDqy+XARYwpUIh+hrK8oKOhEsfAmEHo?= =?utf-8?q?1NgFteRclmlftHcgJqi3cICvoKOWDBQieMHlCpN6kf8eY2VusuorVPjfNPpwtJ44X?= =?utf-8?q?eTLNV0ETi7OgRU36v7hLBAHpm+RDHRmeFL4EZjOPTLUcp2KT7eKLGz0HcuM1E/Cum?= =?utf-8?q?lC2RGQtb7G5sC/8JdUEgVt46mAIMBTrDYR5IVWX5rSEVomC3DO/15K7jiiphwHrgw?= =?utf-8?q?3sEqJplEmQlU5vSWeAIXBJqaFzY0HdWR4CkJSbBMQsfWtF09yEe7sngbZm5ByNA/p?= =?utf-8?q?bGEy3r9Hp4x2Cn2mlKKpQ=3D=3D?=
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; =?utf-8?q?h=3DFrom=3ADate=3ASubject=3AMessage-ID=3ACont?= =?utf-8?q?ent-Type=3AMIME-Version=3AX-MS-Exchange-SenderADCheck=3B?= =?utf-8?q?bh=3DTdjAJCJum5DZDtdx1nEP9rxyckSw2ws09rAJT76YWQc=3D=3B_b=3DMGNnl2?= =?utf-8?q?rshgjx0QnwiGpOpx06HfcYp7XjQYGhC19EXOfT4rQhk1X4Lnvxj1FqxHkM5GiZRm7?= =?utf-8?q?xgNdHvPIw4YQNHdpjMKhILtX/z8GNhA6RnHVQl07idkllUBrQQ2zuL4SxGjiR7s2b?= =?utf-8?q?XMLlJrQIUWIYM+s6n8owLOoyNAocFt/+O1vfrRukmwWV5HEGKHYZi8E+CdvWSp2Yq?= =?utf-8?q?US41i7bBOrdfB7pJXgoUT7s0+9Qe5rh0jCn1LlrXKsbrJ5AlH9lWbGTwOU1JZqIzF?= =?utf-8?q?Dv0+RdGjRz4xcd2tHuPBESJynCKPYqAUoQsPMiNjvSpZtSQlvfW7EtQ4F99aF5URT?= =?utf-8?q?3HAOWPu4M5A=3D=3D?=
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; =?utf-8?q?h=3DFrom=3ADate=3AS?= =?utf-8?q?ubject=3AMessage-ID=3AContent-Type=3AMIME-Version=3AX-MS-Exchange?= =?utf-8?q?-SenderADCheck=3B?= =?utf-8?q?bh=3DTdjAJCJum5DZDtdx1nEP9rxyckSw2ws09rAJT76YWQc=3D=3B_b=3DFN4Id4?= =?utf-8?q?ArqK6DNrMMhzZ5x8/3VRWXgWHOwcLpIzCP7krhDZb65jStW9dlLpxa2ZDdiqBfTST?= =?utf-8?q?r+Xe7fWDCIfJV5mzEOxORqkCdpEB0qMeA3LtawyYm7n7QGW+4MiJ9mL2YzeJkhJ2B?= =?utf-8?q?SlTU+vPqa7eyLu3NzKUoSPEKaigHBrMuhec=3D?=
Received: from AM4P190MB0004.EURP190.PROD.OUTLOOK.COM (10.172.221.19) by AM4P190MB0196.EURP190.PROD.OUTLOOK.COM (10.172.220.143) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2772.15; Mon, 2 Mar 2020 18:37:33 +0000
Received: from AM4P190MB0004.EURP190.PROD.OUTLOOK.COM ([fe80::b931:fce:e8b5:ec62]) by AM4P190MB0004.EURP190.PROD.OUTLOOK.COM ([fe80::b931:fce:e8b5:ec62%10]) with mapi id 15.20.2772.019; Mon, 2 Mar 2020 18:37:33 +0000
Received: from localhost (212.201.44.247) by ZR0P278CA0050.CHEP278.PROD.OUTLOOK.COM (2603:10a6:910:1d::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2772.15 via Frontend Transport; Mon, 2 Mar 2020 18:37:32 +0000
From: =?iso-8859-1?Q?Sch=F6nw=E4lder=2C_J=FCrgen?= <J.Schoenwaelder@jacobs-university.de>
To: Ladislav Lhotka <lhotka@nic.cz>
CC: Andy Bierman <andy@yumaworks.com>, Benoit Claise <bclaise@cisco.com>, NETMOD WG <netmod@ietf.org>
Thread-Topic: [netmod] Text in import to indicate whether a module is needed as import-only or as implemented
Thread-Index: AQHV8L+0+APFUylAfke4nq4ow2ygvag1ocSA
Date: Mon, 2 Mar 2020 18:37:33 +0000
Message-ID: <20200302183731.ktgwgttrkwgbrixu@anna.jacobs.jacobs-university.de>
References: =?utf-8?q?=3CVI1PR07MB40472B4BEFB581AEE4F7C158F0230=40VI1PR07MB4?= =?utf-8?q?047=2Eeurprd07=2Eprod=2Eoutlook=2Ecom=3E?= =?utf-8?q?=3C20200107=2E143818=2E1928135118621633911=2Embj=40tail-f=2Ecom?= =?utf-8?q?=3E_=3CVI1PR07MB404773908BCA102EFBB6EE46F03F0=40VI1PR07MB4047=2Ee?= =?utf-8?q?urprd07=2Eprod=2Eoutlook=2Ecom=3E?= <e28ccc2b5b632d861dcdcc8b59184d1b81eb4406.camel@nic.cz> <CABCOCHQ5ps3SMfBiFatqN1R2MFbvY1WRyO9548nOZr1-GKuQ=g@mail.gmail.com> <bbc48da835fc0829dc179e89a8553095b1244677.camel@nic.cz> <CABCOCHR=qBJ=uKK29RP4ynumabeZiaWY-MM30VuG9fsQ6Rq95Q@mail.gmail.com> <940da771-440b-6e42-eaf7-12bc5626441a@cisco.com> <CABCOCHTcp=3cG1ed_3H-XtZdTUOj8O4hEq0sPjdf9d9B3yURsg@mail.gmail.com> <6c7419ed4553947cd84930c240a14cf5f91fac11.camel@nic.cz>
In-Reply-To: <6c7419ed4553947cd84930c240a14cf5f91fac11.camel@nic.cz>
Reply-To: =?iso-8859-1?Q?Sch=F6nw=E4lder=2C_J=FCrgen?= <J.Schoenwaelder@jacobs-university.de>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-clientproxiedby: ZR0P278CA0050.CHEP278.PROD.OUTLOOK.COM (2603:10a6:910:1d::19) To AM4P190MB0004.EURP190.PROD.OUTLOOK.COM (2603:10a6:200:65::19)
x-originating-ip: [212.201.44.247]
authentication-results: spf=none (sender IP is ) smtp.mailfrom=J.Schoenwaelder@jacobs-university.de;
x-ms-exchange-messagesentrepresentingtype: 1
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: dcec586b-62ac-4e2b-fa7b-08d7bed8c54b
x-ms-traffictypediagnostic: AM4P190MB0196:
x-ms-exchange-transport-forked: True
x-microsoft-antispam-prvs: =?utf-8?q?=3CAM4P190MB0196227BF51C97037170D5BFDEE?= =?utf-8?q?70=40AM4P190MB0196=2EEURP190=2EPROD=2EOUTLOOK=2ECOM=3E?=
x-ms-oob-tlc-oobclassifiers: OLM:9508;
x-forefront-prvs: 033054F29A
x-forefront-antispam-report: SFV:NSPM; =?utf-8?q?SFS=3A=2810009020=29=283660?= =?utf-8?b?MDQpKDM0NjAwMikoMTM2MDAzKSgzNzYwMDIpKDM5NjAwMykoMzk4NTA0MDAwMDQp?= =?utf-8?b?KDE5OTAwNCkoMTg5MDAzKSg2NDg2MDAyKSgxMDc2MDAzKSg1MjExNjAwMikoMzcx?= =?utf-8?q?6004=29=2871200400001=29=28956004=29=285660300002=29=2866946007?= =?utf-8?b?KSg4NjM2MjAwMSkoNjY0NzYwMDcpKDY2NTU2MDA4KSg2NDc1NjAwOCkoNjY0?= =?utf-8?b?NDYwMDgpKDQ3NDQwMDUpKDU0OTA2MDAzKSg2NDk2MDA2KSg3ODYwMDMpKDMx?= =?utf-8?b?NjAwMikoNDc4NjAwMDAxKSgxNjUyNjAxOSkoNjkxNjAwOSkoMTg2MDAzKSg4?= =?utf-8?q?676002=29=282906002=29=284326008=29=283450700001=29=288936002=29?= =?utf-8?q?=2826005=29=2881156014=29=2881166006=29=3B?= DIR:OUT; SFP:1101; SCL:1; SRVR:AM4P190MB0196; H:AM4P190MB0004.EURP190.PROD.OUTLOOK.COM; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:1; MX:1;
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: =?utf-8?q?DPndTl3v2g/WREUvfSC7gCt3lUqy/11?= =?utf-8?q?Mpk6Auj+p/Jv5Y2w5CfFEajZdxB0xPDRunbIc2KuO6ZsgmwTcTh1ghcUzW55a8xPW?= =?utf-8?q?AwaU9TP86kKd05MGDov5ukFCI1/v0/Ak1IafU6zj1xCZb/OVmCU0g8LlWZNvechXx?= =?utf-8?q?QlBtYEWN9TneSzWdcNM7QWhXgq9PnxOsFdOnF++ldumUdgTZ1GCPs1JG1IcIjnJIa?= =?utf-8?q?ZBp5GgZrwvtGmfL8CPVaaQwhJx0umayiMRvso8owMGfbODkajFFY2bB1cKZTR4/hE?= =?utf-8?q?DmJtuu8uRDV90K9/LmSvbfQebXEdwIU+tgY5ltEjyz3XBI2mRPF5nLkBiQyONlMOn?= =?utf-8?q?VNkqdj5W/dWbcEePjCfYYon5Y50DvjsBQFaKdQThZLur2oUghOLWy1VvqUkrYEI4N?= =?utf-8?q?EJK25JEaNi2kI2K6zklEYZ3CGVhgkOshoi8gOBR+WNvCyQJdTGHZH6dkJ9OOaT6Vc?= =?utf-8?q?tyDc9lULAVYeEB3/wsnUKSfUI4bBdjrJeetpXb3qUIR8pHkQ=3D=3D?=
x-ms-exchange-antispam-messagedata: =?utf-8?q?b1Fag0LCH3cNyxnm7oeC2U9Rjnlovw?= =?utf-8?q?XqELzHbF2VF8qTC14T2O9UcOlrG7iyyByyneydRfxy5VPwZDFcvP63f9iY4D4vlhh?= =?utf-8?q?P/IZlo8JuG4tQhxMsPtWdQ93sf/zomOe/kaugAbItCdDfmQO5uiNLVQ=3D=3D?=
Content-Type: text/plain; charset="iso-8859-1"
Content-ID: <4C882DDB858A1B44B4547CFBC6DB7826@EURP190.PROD.OUTLOOK.COM>
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: dcec586b-62ac-4e2b-fa7b-08d7bed8c54b
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Mar 2020 18:37:33.0707 (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: =?utf-8?q?agGWAEeasAFxI9LBozmdL?= =?utf-8?q?YEyXHizwL0sEKBFqshNLPS0dIUTVNDOcHMlylB3PsZYXIHsyUpaQekYM8scJBev7v?= =?utf-8?q?n+UDW3zzOD2mrOTjvfPBs=3D?=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM4P190MB0196
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/0mddQmhdVpZJaalPXYH7DrIAR8g>
Subject: Re: [netmod] Text in import to indicate whether a module is needed as import-only or as implemented
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, 02 Mar 2020 18:37:37 -0000

On Mon, Mar 02, 2020 at 07:23:16PM +0100, Ladislav Lhotka wrote:
> 
> Modules that have to be implemented can be imported only once. Adding this
> information to the import statement for such modules is IMO more effective than
> having it in the module description. I don't get how it could become a problem.
>

The question is how we make sure that text written by a human reflects
the actual facts. If tools can derive most of the import semantics
(i.e., generate a list of imported names and how they are used), why
not have a tooling answer instead of relying on manual work by authors
and reviewers?

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