Re: [Cbor] cddl 0.8.17: Add .abnf (draft-ietf-cbor-cddl-control)

Paul Kyzivat <pkyzivat@alum.mit.edu> Fri, 26 February 2021 16:54 UTC

Return-Path: <pkyzivat@alum.mit.edu>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B38653A1222 for <cbor@ietfa.amsl.com>; Fri, 26 Feb 2021 08:54:27 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.003
X-Spam-Level:
X-Spam-Status: No, score=-2.003 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, NICE_REPLY_A=-0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=alum.mit.edu
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 RL_hc6l9f-XX for <cbor@ietfa.amsl.com>; Fri, 26 Feb 2021 08:54:26 -0800 (PST)
Received: from NAM02-CY1-obe.outbound.protection.outlook.com (mail-eopbgr760079.outbound.protection.outlook.com [40.107.76.79]) (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 1BF283A1225 for <cbor@ietf.org>; Fri, 26 Feb 2021 08:53:58 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=C8Ru+nwduZ/ptlDA2yYBsDPPuk1zCUMWQlgZw8KHdM85Ea2KNUWyc1Nbm90qTrfAeSDsEA1fUGmXxz+7agcrtgAPmzRiP31UwHu5Vk6I3SOQBvk10krzS2VEFoRCn5hQDtMKxdy1SHW4gxaGPDCoNHdkqE+JqLHwzc/mKQJlTCnP1Y5/amp9kzlJ7BBjqQe8514trG/sR1vhrSj7HjdFUO6FxEVh8XlzmZ6oxnCJypWYZYd+hmdFSeiCMcOHBRa9GMUWHKpkekfAUv+idoNOFanFNFvjTiiIMR0nOIDv+z6cag8DSXJlX8H/HTSOBrmHPD34rTrNYtuf+HIoruggHQ==
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=tNmkc8wLODYBKxOrWzLExBQgDI6K7H5x7/C7naq+O8Q=; b=mDJ3EgBmiJbBGh9n1uzAsqv5xwgUlkMcn0gR+QOKwae5Zp0xJ4nmHWEy03K6KTYwr2D51hnpyxRWl6yQgCnEu/SQX6cFRZj8Lfq1hmIefbFgjLxos4zvJeGMI3yqGLWKJO2RA2MheUF4K2c0bbfALkIsUFotWXGr3uNN1mzpvv+la+d4ceVmHpmWsQTrVt5rrszqj2G/7VHvzID8eFEy3AmM0RDwp0EkB7gAbOqgD/tKSnjg2itnkk72gkmV4xs1gXxfjnlB0ee3CpbLGeE+fTXAWZPlCnB5k3nEHP9S4NP/D22pcOGJ42LLwL2YbH34wLhoqgghqll/gLRgbyqnXQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass (sender ip is 18.7.68.33) smtp.rcpttodomain=tzi.org smtp.mailfrom=alum.mit.edu; dmarc=bestguesspass action=none header.from=alum.mit.edu; dkim=none (message not signed); arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alum.mit.edu; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=tNmkc8wLODYBKxOrWzLExBQgDI6K7H5x7/C7naq+O8Q=; b=dIYdn41LvGIyZvag8JIwBdyfMk8bUT83A9foJIQc3NGzQrqtzOtVDkmFTdFb5idYHnALGNntZ3TSzGm3SgaTDqzrQbHVH+IZJplcmFAJzKEZa7rI+WZrG13CKIuy3GqvLMU5C12UvdQ/hgUXLy3gRuiVyAYI+qFeTZCzZlH5xng=
Received: from DM6PR08CA0011.namprd08.prod.outlook.com (2603:10b6:5:80::24) by DM6PR12MB4284.namprd12.prod.outlook.com (2603:10b6:5:21a::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3890.19; Fri, 26 Feb 2021 16:53:58 +0000
Received: from CY1NAM02FT007.eop-nam02.prod.protection.outlook.com (2603:10b6:5:80:cafe::cb) by DM6PR08CA0011.outlook.office365.com (2603:10b6:5:80::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3890.19 via Frontend Transport; Fri, 26 Feb 2021 16:53:58 +0000
X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 18.7.68.33) smtp.mailfrom=alum.mit.edu; tzi.org; dkim=none (message not signed) header.d=none;tzi.org; dmarc=bestguesspass action=none header.from=alum.mit.edu;
Received-SPF: Pass (protection.outlook.com: domain of alum.mit.edu designates 18.7.68.33 as permitted sender) receiver=protection.outlook.com; client-ip=18.7.68.33; helo=outgoing-alum.mit.edu;
Received: from outgoing-alum.mit.edu (18.7.68.33) by CY1NAM02FT007.mail.protection.outlook.com (10.152.75.5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3890.19 via Frontend Transport; Fri, 26 Feb 2021 16:53:56 +0000
Received: from MacBook-Air.localdomain (c-24-62-227-142.hsd1.ma.comcast.net [24.62.227.142]) (authenticated bits=0) (User authenticated as pkyzivat@ALUM.MIT.EDU) by outgoing-alum.mit.edu (8.14.7/8.12.4) with ESMTP id 11QGrsq5003095 (version=TLSv1/SSLv3 cipher=AES128-GCM-SHA256 bits=128 verify=NOT); Fri, 26 Feb 2021 11:53:55 -0500
To: Carsten Bormann <cabo@tzi.org>, cbor@ietf.org
References: <AC771EE9-9672-4B2D-B66A-2C815D102687@tzi.org>
From: Paul Kyzivat <pkyzivat@alum.mit.edu>
Message-ID: <358dd1e3-74a5-c32e-235a-c0a6c308ae6f@alum.mit.edu>
Date: Fri, 26 Feb 2021 11:53:54 -0500
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.16; rv:78.0) Gecko/20100101 Thunderbird/78.7.1
MIME-Version: 1.0
In-Reply-To: <AC771EE9-9672-4B2D-B66A-2C815D102687@tzi.org>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: 8bit
X-EOPAttributedMessage: 0
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: 94295aaf-31d9-4701-f0b8-08d8da771b42
X-MS-TrafficTypeDiagnostic: DM6PR12MB4284:
X-Microsoft-Antispam-PRVS: <DM6PR12MB428454658EF79D2B9C73BD54F99D9@DM6PR12MB4284.namprd12.prod.outlook.com>
X-MS-Oob-TLC-OOBClassifiers: OLM:10000;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: lAdB94Xkoq8O+YhpK9VCGgJbqps3oH8b4XyxcCZBJjdtcZBLIJPTSqWWmg5AqAy+zhhWdDqnB2J3JZrZg5FwEHu761J79RaQSLBrKFuG0oF4Zsbxo+Ipf+utBQv536IB8wuzHZEsXBig/Scvp8+SD1xIAFPFvK4UEXs8ixIQDdzaLVWhxTi/7Vwaigr9t70/5TiY+eqWw2r5V80o5l4U1Q2Ti3aLBkfkLrTI1qdvVp+gx6LKx0bACg20KXrRsjE9Z6LmxIa86tc2iyOp/yy2FEvhORhQGCTIMUHsoorVJlz3Tl8dLb0FJ9yf+Ol1iL0D5Kg2oeUf38rXlSLBjPAbkRL6p9OIiNdfUsp6E37OMLyqGn5Vs6chjcEC6cQB9VSMOWAPky9vrjtBW9IT+DgOkghaWHAT7LU5SwmwKPIGxS35hOVgZo//78WoqKCFW/0TVCFBNfl28RhdLXorjJwlzwHK5r6bLtkWNxHUWF7Woz9lbVgyWJTRRFJlf/pbBjdSK6bo5sRD9peFmzbTeY+CcdFrZrgApnjlx5SeVh6fi+/jkm2VNCuzGFcALtwSOMk1HDau0xosYKTfVIhGGkFrsPNVKDKT582syMOQrjGChCgJJraQqXfbMCKr/JKLSoy8NCNmMW0e02t8HN3Apz7LBIf0F+siV1w/r6Pt+Nuoj+qKFUVEPUGcFUdgOE1iyaKrOvMgXya685ImZyczQWPh3w==
X-Forefront-Antispam-Report: CIP:18.7.68.33; CTRY:US; LANG:en; SCL:1; SRV:; IPV:CAL; SFV:NSPM; H:outgoing-alum.mit.edu; PTR:outgoing-alum.mit.edu; CAT:NONE; SFS:(136003)(39860400002)(346002)(376002)(396003)(46966006)(36840700001)(8676002)(26005)(82310400003)(36906005)(70586007)(786003)(70206006)(75432002)(36860700001)(83380400001)(2906002)(356005)(8936002)(478600001)(5660300002)(82740400003)(2616005)(47076005)(956004)(31696002)(53546011)(186003)(31686004)(7596003)(316002)(336012)(86362001)(142923001)(43740500002); DIR:OUT; SFP:1101;
X-OriginatorOrg: alum.mit.edu
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 26 Feb 2021 16:53:56.4791 (UTC)
X-MS-Exchange-CrossTenant-Network-Message-Id: 94295aaf-31d9-4701-f0b8-08d8da771b42
X-MS-Exchange-CrossTenant-Id: 3326b102-c043-408b-a990-b89e477d582f
X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=3326b102-c043-408b-a990-b89e477d582f; Ip=[18.7.68.33]; Helo=[outgoing-alum.mit.edu]
X-MS-Exchange-CrossTenant-AuthSource: CY1NAM02FT007.eop-nam02.prod.protection.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Anonymous
X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR12MB4284
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/gVNBCDtbenbYEBn-MApFW9WlHNg>
Subject: Re: [Cbor] cddl 0.8.17: Add .abnf (draft-ietf-cbor-cddl-control)
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 26 Feb 2021 16:54:28 -0000

On 2/25/21 5:58 PM, Carsten Bormann wrote:

> The only surprise for me (beyond the fact that this stuff is so easy that I needed less than six hours to implement this PoC, after all) was how thoroughly I had forgotten about the leading whitespace limitation in RFC 5234 (before Julian Reschke reminded me in a completely unrelated thread a couple of days ago).  Of course, the bap tool has some adaptive handling here that makes this “feature” invisible to spec writers.
...
> We could add text that removes the common leading whitespace before processing the ABNF proper; this still requires the catted pieces to agree on the leading whitespace (which is bad if you are catting together pieces from different sources).  We could simply stipulate, say, two spaces.

Perhaps off topic here, but ...

IMO it would be good to make a revision to 5234 to resolve the leading 
whitespace issue. As it stands, there must be multitude of hacks to work 
around it, and AFAIK the assumptions made within those hacks are poorly 
documented and probably inconsistent.

The first thing to resolve would be to decide how to resolve the 
ambiguity when leading whitespace is allowed. Unfortunately I don't 
think there is any backward compatible extension that could itself be 
defined in abnf.

	Thanks,
	Paul