- From: Jeffrey Yasskin <notifications@github.com>
- Date: Thu, 29 Sep 2016 18:22:31 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Message-ID: <heycam/webidl/pull/180@github.com>
Let me know what you think. Preview at https://rawgit.com/jyasskin/webidl/open-dictionaries/index.html.
I tried to position `dictionary<K, V>` as a dictionary type, but we may need to move some things from https://rawgit.com/jyasskin/webidl/open-dictionaries/index.html#idl-dictionaries to https://rawgit.com/jyasskin/webidl/open-dictionaries/index.html#idl-dictionary to really make that work.
I introduced a ["mappings"](https://rawgit.com/jyasskin/webidl/open-dictionaries/index.html#dictionary-mappings) term for the contents of an open dictionary, but I might be able to re-use "dictionary members".
I used `<div algorithm>` blocks to get better `<var>` checking, but that also results in boxes around the algorithms, which you might or might not like.
@bzbarsky @tobie @annevk
You can view, comment on, or merge this pull request online at:
https://github.com/heycam/webidl/pull/180
-- Commit Summary --
* Specify open dictionaries.
-- File Changes --
M Makefile (2)
M index.bs (111)
M index.html (12107)
-- Patch Links --
https://github.com/heycam/webidl/pull/180.patch
https://github.com/heycam/webidl/pull/180.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/180
Received on Friday, 30 September 2016 01:23:03 UTC