[Cbor] Allow reducing .feature diagnostic verbosity

Carsten Bormann <cabo@tzi.org> Sat, 14 November 2020 00:25 UTC

Return-Path: <cabo@tzi.org>
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 A666E3A1043 for <cbor@ietfa.amsl.com>; Fri, 13 Nov 2020 16:25:39 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.898
X-Spam-Level:
X-Spam-Status: No, score=-1.898 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
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 oQ5hp5frb-G6 for <cbor@ietfa.amsl.com>; Fri, 13 Nov 2020 16:25:37 -0800 (PST)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id D41053A1036 for <cbor@ietf.org>; Fri, 13 Nov 2020 16:25:36 -0800 (PST)
Received: from [192.168.217.118] (p548dcc60.dip0.t-ipconnect.de [84.141.204.96]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4CXx250MgxzyXm; Sat, 14 Nov 2020 01:25:33 +0100 (CET)
From: Carsten Bormann <cabo@tzi.org>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
X-Mao-Original-Outgoing-Id: 627006332.530992-2dbb56f177e82980f5b9786510d57748
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\))
Date: Sat, 14 Nov 2020 01:25:32 +0100
Message-Id: <1F68A747-B785-4A0C-A040-D22B56FEEF0F@tzi.org>
To: cbor@ietf.org
X-Mailer: Apple Mail (2.3608.120.23.2.4)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/MbbnLyKvlRhUHHLI74LPRlf8B7I>
Subject: [Cbor] Allow reducing .feature diagnostic verbosity
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: Sat, 14 Nov 2020 00:25:46 -0000

Over in ASDF, with SDF 1.1 development picking up speed, we are noticing some undue verbosity of .feature controls in type choices (as opposed to keys of optional entries in maps, where they are usually fine).

I made a pull request:

https://github.com/cbor-wg/cddl-control/pull/1/files

This is also implemented in cddl tool 0.8.13 (just pushed; update with “gem update”).

Discussion welcome.
Example for use in:

https://github.com/ietf-wg-asdf/SDF/blob/1-1/sdf-1-1.cddl#L63

(I needed to put in extra parentheses because the cddl tool doesn’t exactly implement the CDDL ABNF…  On the list for the next version of the tool; cddlc already has the correct ABNF.)

Grüße, Carsten