- From: Ian Hickson <ian@hixie.ch>
- Date: Tue, 19 Jul 2011 18:03:54 +0000 (UTC)
- To: David Flanagan <dflanagan@mozilla.com>
- Cc: "public-script-coord@w3.org" <public-script-coord@w3.org>
Received on Tuesday, 19 July 2011 19:24:13 UTC
On Mon, 18 Jul 2011, David Flanagan wrote: > > 2) On the other hand, why do dictionary members need an ordering at all? > §3.4 forbids duplicate member names, and doesn't allow dictionaries to > shadow or redefine the members they inherit. So I can't see anywhere > that the ordering matters. It would simplify the algorithms in §4.2.17 > to remove the ordering altogether. We might not need ordering, but it's important that anywhere were an order can be observed (e.g. for-in loop in JS) every UA have the same order. -- Ian Hickson U+1047E )\._.,--....,'``. fL http://ln.hixie.ch/ U+263A /, _.. \ _\ ;`._ ,. Things that are impossible just take longer. `._.-(,_..'--(,_..'`-.;.'
Received on Tuesday, 19 July 2011 19:24:13 UTC