- From: Domenic Denicola <notifications@github.com>
- Date: Wed, 25 Mar 2020 12:26:55 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 25 March 2020 19:27:08 UTC
@domenic commented on this pull request. > </p> An [=ordered map=] with string [=map/keys=] can be implicitly treated as a dictionary value of a specific dictionary |D| if all of its [=map/entries=] correspond to [=dictionary members=], in the -correct order and with the correct types, and with appropriate [=map/entries=] for any required -dictionary members. +correct order and with the correct types, and with appropriate [=map/entries=] for any required or Well, Infra maps are ordered. But yes, perhaps it's OK to just assume any order works. -- 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/859#discussion_r398113477
Received on Wednesday, 25 March 2020 19:27:08 UTC