[Harmony Proxies] Proposal: Property fixing

Mark S. Miller erights at google.com
Fri Jun 17 20:35:05 PDT 2011

An even better example where Tom and I used these invariants, even if only
for an illustrative example, is <
The old text at the bottom of this old code says:

    "Note: localFarReferenceMaker should work even if obj is a host

Were these invariants relaxed, abstractions such as this would either be
incorrect or be much less precise and therefore less useful.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20110617/a5b3e0ef/attachment.html>

More information about the es-discuss mailing list