Re: [Cbor] draft-ietf-cbor-cddl-control-00 should add CDDL notation for CBOR Sequences

[Henk Birkholz <[e-mail]>]

Or what Carsten said :-) Sry for just sending before checking!

On 05.11.20 16:46, Carsten Bormann wrote:
> On 2020-11-05, at 16:10, John Mattsson <john.mattsson=[e-mail]> wrote:
>>
>> All the document I cited use unadorned CBOR Sequences (i.e. not wrapped in a byte string). As far as I know there is no way to write CDDL that matches the unadorned CBOR Sequence 0x0102 ( 1, 2 ). I think this needs to be fixed.
> 
> Citing RFC 8742 Section 4.1:
> 
>     Currently, CDDL does not provide for unadorned CBOR Sequences as a
>     top-level subject of a specification.  For now, the suggestion is to
>     use an array for the top-level rule, as is used for the ".cborseq"
>     control operator, and add English text that explains that the
>     specification is really about a CBOR Sequence with the elements of
>     the array:
> 
>     ; This defines an array, the elements of which are to be used
>     ; in a CBOR Sequence:
>     my-sequence = [* my-element]
>     my-element = my-foo / my-bar
> 
>     (Future versions of CDDL may provide a notation for top-level CBOR
>     Sequences, e.g., by using a group as the top-level rule in a CDDL
>     specification.)
> 
> Are you talking about the “future versions” part of that?
> 
> Grüße, Carsten
>