[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...
More information about the es-discuss