RE: [PHP-DEV] Long awaited line directive

Hi Marcus, I'm still trying to figure out whether this patch might have some far reaching affects which we're not thinking of. For example, debuggers would not work with this and would need some serious changes. Also, there might be something inside Zend which expects the filename to be "correct". I'll try and figure this out a bit more. As to the syntax I prefer not to add a new kind of syntax ala #foo. We introduced declare() {} a few years ago exactly for these kind of cases. We designed it so that it'd be completely extensible and functionality like this could be added. Anyway, will ping you re: the side effects but likely there will be some. Andi > Saturday, July 15, 2006, 11:26:22 AM, you wrote: > > > Hello internals, > > > attached is a patch that brings the '#line' directive to php. > > This is especially usefull for parser generators or any other code > > shuffling/generator tools. Any opinions? If nothing speaks > against i'd > > like to commit this before heading towards OSCON be end of > next week. > > (oatch is against head of course). > > Best regards, > Marcus