- From: Tobie Langel <notifications@github.com>
- Date: Wed, 07 Feb 2018 23:30:33 +0000 (UTC)
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 7 February 2018 23:31:18 UTC
All in all, I see how this could be valuable. That said, I also agree with @domenic. The semantics of this proposal would be surprising. Record is basically an open-ended bag of properties. Limiting the keys to enum values (either by throwing or dropping them) would effectively turn it into a close-ended one, aka a dictionary. I think we should close this for now and revisit if other similar uses cases pop up. Would that work for you? -- 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/issues/509#issuecomment-363947770
Received on Wednesday, 7 February 2018 23:31:18 UTC