Skip to content

Commit

Permalink
Fix AuthenticationExtensionsAuthenticatorInputs/Outputs CDDL
Browse files Browse the repository at this point in the history
According to the CDDL grammar, after a control operator (called `ctlop` in the
ABNF grammar), there can only be a `type2` production:
https://datatracker.ietf.org/doc/html/rfc8610#appendix-B

In a `type2` production, wrapping parentheses can only be used to wrap a `type`
production. `tstr => any` is a `group` production, and needs to be wrapped in
curly braces or brackets.

In other words, from a CDDL grammar perspective, this is an invalid type:
  `foo .within ( tstr => any )`

This is valid:
  `foo .within { tstr => any }`

This update fixes the CDDL type definitions that used the `.within` operator
with an invalid type2.
  • Loading branch information
tidoust committed Dec 3, 2024
1 parent 3bba180 commit 8fa10df
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -4013,7 +4013,7 @@ This is a dictionary containing the [=client extension output=] values for zero

```
AuthenticationExtensionsAuthenticatorInputs = {
* $$extensionInput .within ( tstr => any )
* $$extensionInput .within { tstr => any }
}
```

Expand All @@ -4028,7 +4028,7 @@ This type is not exposed to the [=[RP]=], but is used by the [=client=] and [=au

```
AuthenticationExtensionsAuthenticatorOutputs = {
* $$extensionOutput .within ( tstr => any )
* $$extensionOutput .within { tstr => any }
}
```

Expand Down

0 comments on commit 8fa10df

Please sign in to comment.