>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> Yes, that's a known bug. Oleg Smolsky has proposed a patch > <http://lists.gnu.org/archive/html/bug-bison/2005-09/msg00002.html> > but it wasn't general enough to suit my taste and also I'm leery of > applying it just before 2.1 comes out. Yep, that's where I discovered the bug too. > Here is the direction I was headed to fix the problem. I haven't > compiled or tested this patch, and it does not work. Some more > changes to the skeleton would be needed. It's promising. I only noticed an ambivalence between file_name_split and filename_split, but I know which one you meant ;) This part is really hairy :(
