Hi Alex, sorry for not responding earlier; had a bit of rough week at work.
So I actually worked around this problem by not using "void *" at all and passing around intptr_t values instead,
Yes, I was going to suggest that. :)
But I'll first start implementing void* now.
Later,
Wim
--
[email protected] -- +1 (510) 486 6411 -- www.lavrijsen.net
_______________________________________________
pypy-dev mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-dev
