IETF Logo Mail Archive

Re: [Cbor] Eric Rescorla's Discuss on draft-ietf-cbor-cddl-06: (with DISCUSS and COMMENT)

Jeffrey Yasskin <jyasskin@chromium.org> Thu, 22 November 2018 03:53 UTC

Return-Path: <jyasskin@google.com>
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 B1C36130F84 for <cbor@ietfa.amsl.com>; Wed, 21 Nov 2018 19:53:23 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -10.958
X-Spam-Level:
X-Spam-Status: No, score=-10.958 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-1.46, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, USER_IN_DEF_SPF_WL=-7.5] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=chromium.org
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 eUnLC3Tss3Ac for <cbor@ietfa.amsl.com>; Wed, 21 Nov 2018 19:53:22 -0800 (PST)
Received: from mail-yb1-xb2b.google.com (mail-yb1-xb2b.google.com [IPv6:2607:f8b0:4864:20::b2b]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 70E58130F7C for <cbor@ietf.org>; Wed, 21 Nov 2018 19:53:19 -0800 (PST)
Received: by mail-yb1-xb2b.google.com with SMTP id g192-v6so3086724ybf.3 for <cbor@ietf.org>; Wed, 21 Nov 2018 19:53:19 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=vS9RJg9E70k5fNwZXKSYrociXcEtRWMsvRg3yjh85tk=; b=gI7UQMXjPEyYE01T4isNvoPpdJxjcAyIH1M9CEFtYfOySVm763vzH+l1mrbfh7Dt3u q5GUirAVFVjlfZy3unpRNExwVTyWLVb+Wl0b/344Ckc6Jlbyx//oh+UbSSOWH3Kjm3ni 6blPf6miwbL8WYV/oW0ttKqhIM2ok3Tn0p8TI=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=vS9RJg9E70k5fNwZXKSYrociXcEtRWMsvRg3yjh85tk=; b=QhkRZqymD94HOr4X+uwFXnaTdQht+elafErbGe5JmBxW1j3HVbe0w63lRYAD6OXjDQ f9SVtrIzv/G23lJQ3O3kiBiPeN0YSvxONC/uqw8puZZWgZZ7CEY0jj/RirJGJpjDOdRZ NOvNkHSTShz1xXkMDpR+u97tWUeY8GeTZ4DViAJEnmVipEVQMNSW+JOzEEKzhlXF1D3J AVU6ZsPqqgZcsyexU32sd/IuppSorlQ7KLLW9bqUZ9vB81TfLM+DnLENwziYsmgOqXGE 5M8xIFr+rxroVSJ/r80qxc69cu7hosXlQuWlT743VrQbaFzb0eL1AiqhMV3wl5f08pK/ s5pw==
X-Gm-Message-State: AA+aEWYF772SQJqTA3CCBadx+SwMIXUbnGj3NJibNhtMCPLXqybrC3h1 keG1v+F8sziGdk87kFiUDqgGX2uZhAK4c1J4If7LWw==
X-Google-Smtp-Source: AFSGD/WEASLfnHYNLKPAs1bePqs/aGhnDQaTYtBu29KgPgzkkP2+TlSHxX4n7Fw1nUundiGBI86Mk9X6Y7F9e6qkT/Q=
X-Received: by 2002:a25:b4f:: with SMTP id 76-v6mr9163965ybl.50.1542858798216; Wed, 21 Nov 2018 19:53:18 -0800 (PST)
MIME-Version: 1.0
References: <154267838656.26631.4178048052675609107.idtracker@ietfa.amsl.com> <D99E5141-4C3E-475F-8F25-3018BBC2B484@tzi.org> <CABcZeBMb8nV-Bm1R3n9Dk-TyWZjwcOe7dxhAFfHaQRyPcBAROQ@mail.gmail.com> <6882FA6E-B656-4539-AB4D-CF9272B7A269@tzi.org> <20181122012434.GB11132@kduck.kaduk.org> <8B6ECC91-D56F-4DA5-BC8D-7F51D3E677CB@tzi.org>
In-Reply-To: <8B6ECC91-D56F-4DA5-BC8D-7F51D3E677CB@tzi.org>
From: Jeffrey Yasskin <jyasskin@chromium.org>
Date: Wed, 21 Nov 2018 19:53:06 -0800
Message-ID: <CANh-dXns=iH4ZJBbhOBtGHhb9hmX+i2yP+_+2UPDpz7K1bRKhg@mail.gmail.com>
To: Carsten Bormann <cabo@tzi.org>
Cc: kaduk@mit.edu, Eric Rescorla <ekr@rtfm.com>, cbor@ietf.org, iesg@ietf.org, barryleiba@computer.org, cbor-chairs@ietf.org, draft-ietf-cbor-cddl@ietf.org
Content-Type: multipart/alternative; boundary="0000000000009ba809057b38ce06"
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/fKD3QLj5aKTV_d5tzhgUIZarLRA>
Subject: Re: [Cbor] Eric Rescorla's Discuss on draft-ietf-cbor-cddl-06: (with DISCUSS and COMMENT)
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: Thu, 22 Nov 2018 03:53:24 -0000

On Wed, Nov 21, 2018 at 5:37 PM Carsten Bormann <cabo@tzi.org> wrote:

> On Nov 22, 2018, at 02:24, Benjamin Kaduk <kaduk@mit.edu> wrote:
> >
> > […]
> > Jumping in on one specific point...
> >
> > […]
> > I'm still a bit confused on where the #M.N(x) syntax is formally defined.
> > Is it supposed to be part of CDDL’s ABNF?
>
> Yes, it is right here in appendix B:
>
>      type2 = [,,,]
>            / "#" "6" ["." uint] "(" S type S ")"
>            / "#" DIGIT ["." uint]                ; major/ai
>            / "#"                                 ; any
>
>
> (…and quoting the matching rules from appendix C):
>
>          / "#" "6" ["." uint] "(" S type S ")"
>
>    a tagged data item, tagged with the "uint" given and containing the
>    type given as the tagged value, or
>
>          / "#" DIGIT ["." uint]                ; major/ai
>
>
>    a data item of a major type (given by the DIGIT), optionally
>    constrained to the additional information given by the uint, or
>
>          / "#"                                 ; any
>
>    any data item.
>
>
This is one reason I've pushed to move the Appendix C rules into the body
of the RFC (and possibly the tutorial that makes up most of the body into
an appendix): folks don't realize they need to look in two places to get
the full definition of CDDL rules.

Jeffrey

v2.23.0 | Report a Bug | By Email