Re: new json, push generated file?

From: Date: Mon, 09 Feb 2015 06:33:29 +0000
Subject: Re: new json, push generated file?
References: 1 2 3  Groups: php.internals 
Request: Send a blank email to [email protected] to get a copy of this message
Hey:



On Mon, Feb 9, 2015 at 1:44 PM, Pierre Joye <[email protected]> wrote:
> On Mon, Feb 9, 2015 at 11:10 AM, Xinchen Hui <[email protected]> wrote:
>> Hey:
>>
>> On Mon, Feb 9, 2015 at 10:40 AM, Pierre Joye <[email protected]> wrote:
>>> hi,
>>>
>>> Should we push json_parser.tab.c? Which is generated (re2c), just like
>>> what is done in date or other?
>>>
>> I think we should, and also use a better name...(.tab.c?)
>
> that too :)
simply, json_parser.c is good

something like: https://gist.github.com/laruence/f33903266cec737088aa

thanks
>
> --
> Pierre
>
> @pierrejoye | http://www.libgd.org



-- 
Xinchen Hui
@Laruence
http://www.laruence.com/


Thread (24 messages)

« previous php.internals (#82226) next »