2012/10/10 Tom Van Cutsem <[email protected]> > 2012/10/10 David Bruant <[email protected]> > >> Having this uniqueness invariant is what enforces graph isomorphism. In a >> nutshell, unlike the current proposal, traps can still return proxies, but >> it has to be the exact proxy that can be returned is decided in advanced, >> pretty much like the current invariants where there is no choice on the >> object to be returned. What I'm proposing, just shifts which the set of >> objects from the targets set to a particular set of proxies. >> > > Sorry, you lost me. I don't understand the benefit of this alternative > approach. > I forked the thread a bit to explore an idea. I don't know whether this idea is worthwhile or even a true improvement over what we currently have. Sorry, I should have made that more clear.
David
_______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
