Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82218 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 30405 invoked from network); 9 Feb 2015 04:11:15 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 9 Feb 2015 04:11:15 -0000 Authentication-Results: pb1.pair.com header.from=laruence@php.net; sender-id=unknown Authentication-Results: pb1.pair.com smtp.mail=xinchen.h@zend.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.217.170 as permitted sender) X-PHP-List-Original-Sender: xinchen.h@zend.com X-Host-Fingerprint: 209.85.217.170 mail-lb0-f170.google.com Received: from [209.85.217.170] ([209.85.217.170:55661] helo=mail-lb0-f170.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 04/64-26926-16338D45 for ; Sun, 08 Feb 2015 23:11:14 -0500 Received: by mail-lb0-f170.google.com with SMTP id u14so3259349lbd.1 for ; Sun, 08 Feb 2015 20:11:11 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=sx09mFypgJ5+XFvlwWfwPOmfTyMqqfZI6aTMw45qV/8=; b=Q11sVpcOaIcvvdXnD/uvw0sOHRU0mvIr95zrKNoL7nDKMCaY43HDzuponnG8y6wNJ8 3jSAKOqon/QBrTT+DeFYaCLmes13icKeS+jPQBUlKpcf6KyhcOrWyevKVIHcaC9LCC1G x7O3tEFi3p7g15zDiUco+d6rTy/4Cb4Mo+DtdsDv3Zv15fwZ2Wak8Tihrqr7F/v83/4k f6mjZeWnotV5KXUmEV1erHhXh0GNtj9AWvFLFXgYVvzJLekVN7hU9lp2Aua7mNCf1mrZ 3sPvQFNMrsldHFqJ2/oEbjH9f/UuHQ2mObQc3Tlah7Mb9t59q8B0TDm6N8jzSS5u9YZ6 dWHw== X-Gm-Message-State: ALoCoQnOWb1A+k8A0/5xhPL59wZIRkwiCiK90vAW0MSRHLX46BmrkJkwuK38TFFjZJ5DeircBjmhp0GdbaXb8l5nn2nECfs/zLbE4agMuz2o4sl92sFsR92F2KRGEzMnFSZicNkIjoyITrDKSAAq6kZ55XqEWAS7aA== X-Received: by 10.152.23.195 with SMTP id o3mr14333568laf.70.1423455070971; Sun, 08 Feb 2015 20:11:10 -0800 (PST) Received: from mail-lb0-f170.google.com (mail-lb0-f170.google.com. [209.85.217.170]) by mx.google.com with ESMTPSA id b6sm1868043laa.14.2015.02.08.20.11.09 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 08 Feb 2015 20:11:09 -0800 (PST) Received: by mail-lb0-f170.google.com with SMTP id u14so3259230lbd.1 for ; Sun, 08 Feb 2015 20:11:08 -0800 (PST) X-Received: by 10.152.207.108 with SMTP id lv12mr14316901lac.94.1423455068753; Sun, 08 Feb 2015 20:11:08 -0800 (PST) MIME-Version: 1.0 Received: by 10.114.28.193 with HTTP; Sun, 8 Feb 2015 20:10:48 -0800 (PST) In-Reply-To: References: Date: Mon, 9 Feb 2015 12:10:48 +0800 Message-ID: To: Pierre Joye Cc: PHP internals , Jakub Zelenka Content-Type: text/plain; charset=UTF-8 Subject: Re: [PHP-DEV] new json, push generated file? From: laruence@php.net (Xinchen Hui) 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?) thanks > Cheers, > -- > Pierre > > @pierrejoye | http://www.libgd.org > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > -- Xinchen Hui @Laruence http://www.laruence.com/