Re: new json, push generated file?

Hey: On Mon, Feb 9, 2015 at 1:44 PM, Pierre Joye <pierre.php@gmail.com> wrote: > On Mon, Feb 9, 2015 at 11:10 AM, Xinchen Hui <laruence@php.net> wrote: >> Hey: >> >> On Mon, Feb 9, 2015 at 10:40 AM, Pierre Joye <pierre.php@gmail.com> 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/