I might be slightly off topic, but I have not seen any problem reported with casts to void in the case of C++. So we should probably look for a pure C solution, and let __cplusplus do the rest. But you may already have realized that already, I didn't follow the thread close enough...
_______________________________________________ Help-bison@gnu.org http://lists.gnu.org/mailman/listinfo/help-bison