- From: Emil Lundberg via GitHub <sysbot+gh@w3.org>
- Date: Mon, 13 Jan 2025 16:19:12 +0000
- To: public-webauthn@w3.org
emlun has just closed tidoust's pull request 2219 for https://github.com/w3c/webauthn: == Fix AuthenticationExtensionsAuthenticatorInputs/Outputs CDDL == According to the [CDDL grammar](https://datatracker.ietf.org/doc/html/rfc8610#appendix-B), after a control operator (called `ctlop` in the grammar), there can only be a `type2` production. In a `type2` production, wrapping parentheses can only be used to wrap a `type` production. `tstr => any` is a `group` production. As such, unless I missed something, it cannot be wrapped in parentheses to produce a `type2` production. It rather needs to be wrapped in curly braces or brackets. In other words, from a CDDL grammar perspective, this is an invalid type: ```cddl foo .within ( tstr => any ) ``` This is a valid type: ```cddl foo .within { tstr => any } ``` This update fixes the CDDL type definitions that used the `.within` operator with an invalid type2. I don't believe the change introduces any semantic change (so more an editorial update than anything else) but note I'm no CDDL expert, I just happened to have been playing with the CDDL grammar recently... If the semantics change, well, the problem still stands: the current definition is not valid CDDL. <!-- This comment and the below content is programmatically generated. You may add a comma-separated list of anchors you'd like a direct link to below (e.g. #idl-serializers, #idl-sequence): Don't remove this comment or modify anything below this line. If you don't want a preview generated for this pull request, just replace the whole of this comment's content by "no preview" and remove what's below. --> *** <a href="https://pr-preview.s3.amazonaws.com/tidoust/webauthn/pull/2219.html" title="Last updated on Dec 18, 2024, 5:30 PM UTC (a9b57fa)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/webauthn/2219/3bba180...tidoust:a9b57fa.html" title="Last updated on Dec 18, 2024, 5:30 PM UTC (a9b57fa)">Diff</a> See https://github.com/w3c/webauthn/pull/2219 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 13 January 2025 16:19:13 UTC