On 2014/08/11 16:20:18, arv wrote:
I don't think there is a single case (today) where we want a private
symbol
that
is not own.
Suggestion: Once this lands. Change all the internal usages to private
own.
Then
remove the private non own symbol.
Turns out we actually do use private non-own symbol in at least one case:
https://code.google.com/p/chromium/codesearch#chromium/src/v8/src/messages.js&l=1117
https://codereview.chromium.org/464473002/
--
--
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.
