Re: [whatwg/webidl] Exclude undefined from the PrimitiveType in grammar (PR #1140)

Note that `DefaultValue` is also used for dictionary members, which can't be undefined, so we might need some prose excluding it. Although `undefined` is not explicitly in:

> When a boolean literal token (true or false), the null token, an [integer](https://webidl.spec.whatwg.org/#prod-integer) token, a [decimal](https://webidl.spec.whatwg.org/#prod-decimal) token, one of the three special floating point literal values (Infinity, -Infinity or NaN), a [string](https://webidl.spec.whatwg.org/#prod-string) token, the two token sequence [], or the two token sequence {} is used as the [default value](https://webidl.spec.whatwg.org/#dfn-dictionary-member-default-value), it is interpreted in the same way as for an [operation](https://webidl.spec.whatwg.org/#dfn-operation)’s [optional argument default value](https://webidl.spec.whatwg.org/#dfn-optional-argument-default-value).

so maybe that's good enough?

-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1140#issuecomment-1117920499

You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1140/c1117920499@github.com>