- 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