<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Aug 12, 2011, at 7:55 AM, Tom Van Cutsem wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">2011/8/12 Andreas Rossberg <span dir="ltr"><<a href="mailto:rossberg@google.com">rossberg@google.com</a>></span><br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; position: static; z-index: auto; ">
<div class="im">On 12 August 2011 13:53, Tom Van Cutsem <<a href="mailto:tomvc.be@gmail.com">tomvc.be@gmail.com</a>> wrote:<br>
> I think I found a compelling and easy-to-understand<br>
> rule for determining whether or not a trap needs access to proxy/receiver:<br>
> if the trap deals with inherited properties, it needs access to |proxy|.<br><br>[...]<br>
<br>
</div>Although that rule seems fairly simple, I still find a half/half<br>
situation unnecessarily confusing and error-prone. I would strongly<br>
vote for making the API consistent. That is, either equip all methods<br>
with a proxy argument (preferably as first), or none.<font color="#888888"><br></font></blockquote><div><br></div><div>Despite the simple rule, I too would prefer passing |proxy| to all traps (but not as first argument), even though, as Brendan noted, it's not strictly necessary and consistency in one dimension sacrifices consistency in another. It would be good to hear more opinions on this.</div>
</div></blockquote><br></div><div>Mark repeated the reasons I gave to put proxy last, which Andreas has yet to rebut :-P. Our reasons are about usability, which trumps aesthetics every time (in my youth I favored little-endian byte order because LSbyte on Lowest-address was prettier due to the least/lowest rhyming than alternatives; then I had to read hexdumps...).</div><div><br></div><div>/be</div><br></body></html>