Re: [Cbor] Allow reducing .feature diagnostic verbosity

Carsten Bormann <cabo@tzi.org> Tue, 17 November 2020 20:10 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 D98E23A03F1 for <cbor@ietfa.amsl.com>; Tue, 17 Nov 2020 12:10:51 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 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, URIBL_BLOCKED=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 mB-HKBHfLRr7 for <cbor@ietfa.amsl.com>; Tue, 17 Nov 2020 12:10:49 -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 799513A03EE for <cbor@ietf.org>; Tue, 17 Nov 2020 12:10:49 -0800 (PST)
Received: from [192.168.217.120] (p548dcb31.dip0.t-ipconnect.de [84.141.203.49]) (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 4CbHBH3PBVzyQn; Tue, 17 Nov 2020 21:10:47 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <1F68A747-B785-4A0C-A040-D22B56FEEF0F@tzi.org>
Date: Tue, 17 Nov 2020 21:10:47 +0100
X-Mao-Original-Outgoing-Id: 627336646.8877-f613a67df2ec02e14fae382fd8f5f79e
Content-Transfer-Encoding: quoted-printable
Message-Id: <ED463565-6028-473A-A177-47256681FD5C@tzi.org>
References: <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/a5tVs9EQo50OEl0S67rmH8vIQwo>
Subject: Re: [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: Tue, 17 Nov 2020 20:10:52 -0000

On 2020-11-14, at 01:25, Carsten Bormann <cabo@tzi.org> wrote:
> 
> 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

This is now in active use in draft-ietf-asdf-sdf-01 [1].

In preparation for Thursday’s WG meeting, I have submitted draft-ietf-cbor-cddl-control-01 with this change.  Comments, as always, welcome!

As a little bonus, the cddl tool (version 0.8.14) now does .cat, .plus as well.
(ABNF is next week, then :-)

Grüße, Carsten

[1]: https://tools.ietf.org/id/draft-ietf-asdf-sdf-01.html#name-formal-syntax-of-sdf