Re: [heycam/webidl] void -> undefined, and allow it anywhere. (#906) from Tab Atkins Jr. on 2020-08-07 (public-webapps-github@w3.org from August 2020)

From: Tab Atkins Jr. <notifications@github.com>
Date: Fri, 07 Aug 2020 15:20:32 -0700
To: heycam/webidl <webidl@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <heycam/webidl/pull/906/push/5498892000@github.com>

@tabatkins pushed 1 commit.

f0be171b23df076dede7596d5f0930bd9baa109e  Also restrict undefined from being the type of a dictionary member, since they also have a specialized optional syntax.


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/heycam/webidl/pull/906/files/1695d3a6478a34bc727ace4e3d293c6fee2dd418..f0be171b23df076dede7596d5f0930bd9baa109e

Received on Friday, 7 August 2020 22:20:44 UTC