Is anyone using .pushback()?

8 views

Skip to first unread message

David Beazley

unread,

May 7, 2008, 3:29:51 PM5/7/08

to ply-...@googlegroups.com

Just out of curiosity, is anyone actually using the undocumented, untested, and possibly broken .pushback() method of productions in yacc.py?
Given that it's never even been documented or mentioned in the CHANGES file, nor have I ever used it for anything, I'm somewhat inclined to
remove it. Thoughts?