An even better example where Tom and I used these invariants, even if only
for an illustrative example, is <
http://wiki.ecmascript.org/doku.php?id=harmony:proxies#an_eventual_reference_proxy>.
The old text at the bottom of this old code says:
"Note: localFarReferenceMaker should work even if obj is a host
object."
Were these invariants relaxed, abstractions such as this would either be
incorrect or be much less precise and therefore less useful.
_______________________________________________
es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss
