- From: Domenic Denicola <notifications@github.com>
- Date: Tue, 27 Jun 2017 14:34:51 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 27 June 2017 21:35:23 UTC
Fixes part of https://www.w3.org/Bugs/Public/show_bug.cgi?id=27553. Fixes #301.
This will be necessary for https://github.com/whatwg/dom/pull/469, as feedback in https://github.com/whatwg/dom/issues/208 has been that we should restrict the type of the group to either a string or a symbol.
https://www.w3.org/Bugs/Public/show_bug.cgi?id=27553 also contains speculative stuff about interfaces declaring their own symbols which is not included here.
You can view, comment on, or merge this pull request online at:
https://github.com/heycam/webidl/pull/377
-- Commit Summary --
* Add the symbol type
-- File Changes --
M index.bs (55)
-- Patch Links --
https://github.com/heycam/webidl/pull/377.patch
https://github.com/heycam/webidl/pull/377.diff
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/pull/377
Received on Tuesday, 27 June 2017 21:35:23 UTC