cfbolz changed the topic of #pypy to: PyPy, the flexible snake (IRC logs: https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end ) | use cffi for calling C | if a pep adds a mere 25-30 [C-API] functions or so, it's a drop in the ocean (cough) - Armin
<ronny>
cfbolz after sleeping over it, i believe the reverse special methods need new space methods for correctness
<cfbolz>
ronny: can you write a failing test?
lritter has quit [Ping timeout: 264 seconds]
<ronny>
cfbolz: not sure, but im still fuzzy on the idea - the problem is that structurally proxy should do a space level delegation, or all __ methods should delegate directly to __ methods of the wrapped object - what the current code does is delegate the __methods of the proxy to the space
<ronny>
so the abstraction is leaky in a sense
<cfbolz>
Yes, sounds plausible. But then the solution is to look up __add__ directly and call it
<mattip>
cfbolz: translation is broken, I suggested a hacky change to fix it in the commit
<cfbolz>
mattip: sorry for the breakage. that's the correct fix, I think. Would you commit it? I don't have my laptop yet
<mattip>
ok
<mattip>
no hurry if you want to take a more careful look later, I just didn't want you to have to debug what was going on
<ronny>
cfbolz: as far as i understand, some special methods have special lookup, so i wonder if direct delegation is doable easily - but basically all special methods of the proxy should delegate to special methods of the underlying objects instead of using space methods
<cfbolz>
mattip: no, that's the way to do it. There is an equivalent thing for the func too
<ronny>
cfbolz: i recall that some of the special methods have to be looked up on the type, so its going to be "fun"
marky1991 has quit [Remote host closed the connection]
marky1991 has joined #pypy
<cfbolz>
ronny: no, it's not so hard, I think. They are all looked up on the type. I still kind of would like a test that shows the problem 😅
marky1991 has quit [Remote host closed the connection]
<ronny>
cfbolz will take a try when I get back to the computer, watching 50 years "Sendung mit der Maus" with the toddler now
<cfbolz>
Have fun!
<cfbolz>
mattip: thanks
jacob22 has quit [Ping timeout: 246 seconds]
Yushida has quit [Remote host closed the connection]