Re: [Cbor] Reviewing cbor-cddl-control

Carsten Bormann <cabo@tzi.org> Sat, 31 July 2021 01:14 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 22DAB3A1C1B; Fri, 30 Jul 2021 18:14:41 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, 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 ge3AUomVf6qz; Fri, 30 Jul 2021 18:14:34 -0700 (PDT)
Received: from gabriel-smtp.zfn.uni-bremen.de (gabriel-smtp.zfn.uni-bremen.de [IPv6:2001:638:708:32::15]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6CE893A1C25; Fri, 30 Jul 2021 18:14:33 -0700 (PDT)
Received: from [192.168.217.118] (p548dcc89.dip0.t-ipconnect.de [84.141.204.137]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-smtp.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4Gc5s15ZpTz31Vj; Sat, 31 Jul 2021 03:14:29 +0200 (CEST)
Content-Type: text/plain; charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <YP8GnWVYHGSUVXKn@hephaistos.amsuess.com>
Date: Sat, 31 Jul 2021 03:14:29 +0200
Cc: draft-ietf-cbor-cddl-control@ietf.org, cbor@ietf.org
X-Mao-Original-Outgoing-Id: 649386869.389109-dfac4fcea146175d200c84fa87e40bd9
Content-Transfer-Encoding: quoted-printable
Message-Id: <B2971602-E829-4DB2-8F38-59E566423596@tzi.org>
References: <YP7JCZPXLwuIK+Gi@hephaistos.amsuess.com> <YP8GnWVYHGSUVXKn@hephaistos.amsuess.com>
To: =?utf-8?Q?Christian_Ams=C3=BCss?= <christian@amsuess.com>
X-Mailer: Apple Mail (2.3608.120.23.2.7)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/4CHdQSj-2IuyG7-w7Xq-mAE8LDk>
Subject: Re: [Cbor] Reviewing 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: Sat, 31 Jul 2021 01:14:49 -0000

On 2021-07-26, at 21:01, Christian Amsüss <christian@amsuess.com> wrote:
> 
> Hello Carsten,
> 
> brief follow-up from during the shepherd write-up:
> 
> there's some inconsistency in that the `foo = { kind: bar` example and
> the `JC<J,C>` one do not exist as a figure but just as pre-formatted
> text; I think they should have numbers and labels as well.

Fixed in -04.

> (The `CRLF = ` line falls in the same category in theory, but being a
> single line it can probably stay as it is).

Indeed, but added sourcecode-type `abnf`.

From an earlier e-mail:
> If such constructions are legal, shouldn't the remark on the targets
> and controllers being (non-unique) types apply to all of the computed
> literals?

Yes!  Moved the text up to the introduction of Section 2 and expanded it a little bit.

Grüße, Carsten