IETF Logo Mail Archive

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; b=i8Vn6vLo3qQTXfaaWFDDEQdQmAHZo6kDqy+XARYwpUIh+hrK8oKOhEsfAmEHo1NgFteRclmlftHcgJqi3cICvoKOWDBQieMHlCpN6kf8eY2VusuorVPjfNPpwtJ44XeTLNV0ETi7OgRU36v7hLBAHpm+RDHRmeFL4EZjOPTLUcp2KT7eKLGz0HcuM1E/CumlC2RGQtb7G5sC/8JdUEgVt46mAIMBTrDYR5IVWX5rSEVomC3DO/15K7jiiphwHrgw3sEqJplEmQlU5vSWeAIXBJqaFzY0HdWR4CkJSbBMQsfWtF09yEe7sngbZm5ByNA/pbGEy3r9Hp4x2Cn2mlKKpQ==
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=TdjAJCJum5DZDtdx1nEP9rxyckSw2ws09rAJT76YWQc=; b=MGNnl2rshgjx0QnwiGpOpx06HfcYp7XjQYGhC19EXOfT4rQhk1X4Lnvxj1FqxHkM5GiZRm7xgNdHvPIw4YQNHdpjMKhILtX/z8GNhA6RnHVQl07idkllUBrQQ2zuL4SxGjiR7s2bXMLlJrQIUWIYM+s6n8owLOoyNAocFt/+O1vfrRukmwWV5HEGKHYZi8E+CdvWSp2YqUS41i7bBOrdfB7pJXgoUT7s0+9Qe5rh0jCn1LlrXKsbrJ5AlH9lWbGTwOU1JZqIzFDv0+RdGjRz4xcd2tHuPBESJynCKPYqAUoQsPMiNjvSpZtSQlvfW7EtQ4F99aF5URT3HAOWPu4M5A==
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=TdjAJCJum5DZDtdx1nEP9rxyckSw2ws09rAJT76YWQc=; b=FN4Id4ArqK6DNrMMhzZ5x8/3VRWXgWHOwcLpIzCP7krhDZb65jStW9dlLpxa2ZDdiqBfTSTr+Xe7fWDCIfJV5mzEOxORqkCdpEB0qMeA3LtawyYm7n7QGW+4MiJ9mL2YzeJkhJ2BSlTU+vPqa7eyLu3NzKUoSPEKaigHBrMuhec=
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: "Schönwälder, Jürgen" <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, 02 Mar 2020 18:37:33 +0000
Message-ID: <20200302183731.ktgwgttrkwgbrixu@anna.jacobs.jacobs-university.de>
References: <VI1PR07MB40472B4BEFB581AEE4F7C158F0230@VI1PR07MB4047.eurprd07.prod.outlook.com><20200107.143818.1928135118621633911.mbj@tail-f.com> <VI1PR07MB404773908BCA102EFBB6EE46F03F0@VI1PR07MB4047.eurprd07.prod.outlook.com> <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: "Schönwälder, Jürgen" <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: <AM4P190MB0196227BF51C97037170D5BFDEE70@AM4P190MB0196.EURP190.PROD.OUTLOOK.COM>
x-ms-oob-tlc-oobclassifiers: OLM:9508;
x-forefront-prvs: 033054F29A
x-forefront-antispam-report: SFV:NSPM; SFS:(10009020)(366004)(346002)(136003)(376002)(396003)(39850400004)(199004)(189003)(6486002)(1076003)(52116002)(3716004)(71200400001)(956004)(5660300002)(66946007)(86362001)(66476007)(66556008)(64756008)(66446008)(4744005)(54906003)(6496006)(786003)(316002)(478600001)(16526019)(6916009)(186003)(8676002)(2906002)(4326008)(3450700001)(8936002)(26005)(81156014)(81166006); 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: DPndTl3v2g/WREUvfSC7gCt3lUqy/11Mpk6Auj+p/Jv5Y2w5CfFEajZdxB0xPDRunbIc2KuO6ZsgmwTcTh1ghcUzW55a8xPWAwaU9TP86kKd05MGDov5ukFCI1/v0/Ak1IafU6zj1xCZb/OVmCU0g8LlWZNvechXxQlBtYEWN9TneSzWdcNM7QWhXgq9PnxOsFdOnF++ldumUdgTZ1GCPs1JG1IcIjnJIaZBp5GgZrwvtGmfL8CPVaaQwhJx0umayiMRvso8owMGfbODkajFFY2bB1cKZTR4/hEDmJtuu8uRDV90K9/LmSvbfQebXEdwIU+tgY5ltEjyz3XBI2mRPF5nLkBiQyONlMOnVNkqdj5W/dWbcEePjCfYYon5Y50DvjsBQFaKdQThZLur2oUghOLWy1VvqUkrYEI4NEJK25JEaNi2kI2K6zklEYZ3CGVhgkOshoi8gOBR+WNvCyQJdTGHZH6dkJ9OOaT6VctyDc9lULAVYeEB3/wsnUKSfUI4bBdjrJeetpXb3qUIR8pHkQ==
x-ms-exchange-antispam-messagedata: b1Fag0LCH3cNyxnm7oeC2U9RjnlovwXqELzHbF2VF8qTC14T2O9UcOlrG7iyyByyneydRfxy5VPwZDFcvP63f9iY4D4vlhhP/IZlo8JuG4tQhxMsPtWdQ93sf/zomOe/kaugAbItCdDfmQO5uiNLVQ==
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: agGWAEeasAFxI9LBozmdLYEyXHizwL0sEKBFqshNLPS0dIUTVNDOcHMlylB3PsZYXIHsyUpaQekYM8scJBev7vn+UDW3zzOD2mrOTjvfPBs=
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/>

v2.23.0 | Report a Bug | By Email