Re: [heycam/webidl] A dictionary inheriting from a non-JSON type can't be a JSON type. (#571)

Hmm.  So it seems that part of the problem is that some places say "dictionary member" to refer to the syntactic construct (sometimes using "dictionary member declared on _D_" where _D_ is some dictionary) and some places say "dictionary member" to talk about the map entries for the map represented by a dictionary.  The former usage definitely excludes inherited members; otherwise https://heycam.github.io/webidl/#es-to-dictionary would not work right. 

https://heycam.github.io/webidl/#dfn-json-types is playing fast and  loose with this all by  using https://heycam.github.io/webidl/#dfn-dictionary when it should really be using <https://heycam.github.io/webidl/#idl-dictionary>, because it's being defined as an operation on types, not actual objects.

Given that, I think the right fix is to explicitly work with dictionary types, like https://heycam.github.io/webidl/#es-to-dictionary does.

-- 
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/571#issuecomment-405410906