W3C home > Mailing lists > Public > public-script-coord@w3.org > January to March 2013

[Bug 20158] Unrestricted typed dictionary

From: <bugzilla@jessica.w3.org>
Date: Mon, 07 Jan 2013 09:58:31 +0000
To: public-script-coord@w3.org
Message-ID: <bug-20158-3890-zb4VZ8dtZj@http.www.w3.org/Bugs/Public/>

Robin Berjon <robin@w3.org> changed:

           What    |Removed                     |Added
                 CC|                            |robin@w3.org

--- Comment #9 from Robin Berjon <robin@w3.org> ---
(In reply to comment #8)
> Good point. In that case maybe dictionary<EventListener> is better syntax.

I tend to agree. But if ever there is a need for non-string keys, your initial
syntax would need a separator to disambiguate:

  unrestricted dictionary { long long long };

You are receiving this mail because:
You are on the CC list for the bug.
Received on Monday, 7 January 2013 09:58:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:08 UTC