Re: new json, push generated file?

From: 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 [email protected] to get a copy of this message
Hi Anatol,

On Sun, Feb 22, 2015 at 6:09 PM, Anatol Belski <[email protected]>
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


Thread (24 messages)

« previous php.internals (#83491) next »