Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82251 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 93905 invoked from network); 9 Feb 2015 09:46:10 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 9 Feb 2015 09:46:10 -0000 Authentication-Results: pb1.pair.com smtp.mail=jakub.php@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=jakub.php@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.170 as permitted sender) X-PHP-List-Original-Sender: jakub.php@gmail.com X-Host-Fingerprint: 209.85.223.170 mail-ie0-f170.google.com Received: from [209.85.223.170] ([209.85.223.170:36646] helo=mail-ie0-f170.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 71/98-50460-0E188D45 for ; Mon, 09 Feb 2015 04:46:08 -0500 Received: by ierx19 with SMTP id x19so8686505ier.3 for ; Mon, 09 Feb 2015 01:46:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=rlgVWuClnxtu2yQYnTA2z3m8GHtRvzXObEd4aktOZ4Y=; b=B3Y3SP/8GNTter8DiMb7pMwi4Bb3QL6OXH5ZeEUibudvQjjjFuuk5jdZjAOvLNB2ik O7mV9M2rAQmSv4FDaNN3dpzBkTI7hSLHAgG4qhDsztGJ4WH40H2MhbjbqhCCRo1bf/2D teGJWPHl8vv5XQR6t4BCHPkGLdZCLk+LR2rcKwDU4eXm5NlQVI1h+c2HfTW+uVVdJbjg TLd8mXrYm62DB/6JxQGKdM0mZxUPg3CgpSyVnqRHdtmjGyRr2uibNvWQfQ+M1bwqzwUq Enatn5hY9w1DX+ETOfuYpvkjMZWHjVmmjSaBZ0ggWV+HNLsnBP2x/qMUag/lqvS5LdxP 3VKw== MIME-Version: 1.0 X-Received: by 10.50.137.99 with SMTP id qh3mr16053516igb.9.1423475165014; Mon, 09 Feb 2015 01:46:05 -0800 (PST) Sender: jakub.php@gmail.com Received: by 10.107.169.216 with HTTP; Mon, 9 Feb 2015 01:46:04 -0800 (PST) In-Reply-To: References: Date: Mon, 9 Feb 2015 09:46:04 +0000 X-Google-Sender-Auth: zrL6solZ44-pY-11Z4NGF-exCGs Message-ID: To: Anatol Belski Cc: Xinchen Hui , Pierre Joye , PHP internals Content-Type: multipart/alternative; boundary=001a11c3bcbc8eb32b050ea4a366 Subject: Re: [PHP-DEV] new json, push generated file? From: bukka@php.net (Jakub Zelenka) --001a11c3bcbc8eb32b050ea4a366 Content-Type: text/plain; charset=UTF-8 On Mon, Feb 9, 2015 at 9:18 AM, Anatol Belski wrote: > Hi, > > On Mon, February 9, 2015 07:33, Xinchen Hui wrote: > > Hey: > > > > > > > > > > On Mon, Feb 9, 2015 at 1:44 PM, Pierre Joye > wrote: > > > >> On Mon, Feb 9, 2015 at 11:10 AM, Xinchen Hui wrote: > >> > >>> Hey: > >>> > >>> > >>> On Mon, Feb 9, 2015 at 10:40 AM, Pierre Joye > >>> 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 > > > I'd be for applying this as well. Also, just added the generation calls to > config.w32, but actulaly a checked in file were much simpler to handle. > > Regards > > Anatol > Hi, The re2c generated files are pushed (see https://github.com/php/php-src/blob/master/ext/json/json_scanner.c ). The json_parser.tab.c is a BISON generated file. I haven't pushed that file because we don't have bison generated files in repo (e.g. zend_language_parser.c). I'm actually for pushing that file as well but then we should probably push zend_language_parser.c too. Thoughts? The name .tab.c is a standard name for bison files ( see last paragraph http://www.gnu.org/software/bison/manual/html_node/Rpcalc-Generate.html#Rpcalc-Generate ). I think that it can be changed but not sure if it makes much sense. The .tab.c says that it's a C file with parsing tables... Cheers Jakub --001a11c3bcbc8eb32b050ea4a366--