Re: new json, push generated file?
| From: | Jakub Zelenka | Date: | Sun, 22 Feb 2015 22:05:45 +0000 |
| Subject: | Re: new json, push generated file? | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-83491@lists.php.net to get a copy of this message | ||
Hi Anatol,
On Sun, Feb 22, 2015 at 6:09 PM, Anatol Belski <anatol.php@belski.net>
wrote:
>
>
> FYI I had to downgrade re2c to 0.13.6 as the latest randomly crashes.
Ok. :) There are no differences in the generated DFA so it's not a problem
for me to use 0.13.6 too.
The preferred versions are more about nicer diffs when regenerating files.
So it's not a big issue if it gets regenerated with another supported
version. I test all supported versions when I do some changes to the parser
or scanner and I can always regenerate it back if someone else needs to do
some urgent changes ;)
Cheers
Jakub