On 2014/08/21 12:07:48, rossberg wrote:
Hm, I'm not sure. It seems to me that the API should ultimately be
consistent
in
the sense that either String and Symbol names are treated together
everywhere,
or they are separated everywhere (kind of like "properties" and "elements"
already). Just separating them in some places seems a bit odd from the
user
perspective.
OK, I will give filtering a go then.
https://codereview.chromium.org/467013003/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
