Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82224
Return-Path: <pierre.php@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 44225 invoked from network); 9 Feb 2015 05:45:02 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 9 Feb 2015 05:45:02 -0000
Authentication-Results: pb1.pair.com smtp.mail=pierre.php@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=pierre.php@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.46 as permitted sender)
X-PHP-List-Original-Sender: pierre.php@gmail.com
X-Host-Fingerprint: 209.85.192.46 mail-qg0-f46.google.com  
Received: from [209.85.192.46] ([209.85.192.46:33167] helo=mail-qg0-f46.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 5D/86-26926-C5948D45 for <internals@lists.php.net>; Mon, 09 Feb 2015 00:45:01 -0500
Received: by mail-qg0-f46.google.com with SMTP id z107so5891265qgd.5
        for <internals@lists.php.net>; Sun, 08 Feb 2015 21:44:57 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=UZQ/PvCqTLLE982nV8lB68RO0aAN4Qc+badZCaXCB6g=;
        b=wZDztOa+EzTDdSDYgXPFQ48ZnWwy4eocny2+ZOg8d49CFHEa3NUF2X/thNksydyRg4
         vXa2APnPp4I0HDMwYKudKBFwPkeNWIVwW0hxkHfcjIbIn/KVg4a9EsGAyH/wuqSMih73
         vYSUinr5eFlD4pQ7tL5Ygj7vPZXBuLQn02fRY2RKOU/7ItK8uipzBSnDIhkNL6gFF24g
         thOOh6f8UPoNoEz+RZP6849yr9STr2yXXADwFbgQQMaIL5U5fJCcFqZugTAh17yKHT77
         thCjSNT4v9c1PrtZCF9d8dfw37zq+MbYu8t4ONxgMl39EsnAps1reNbipgvnOqnCSBwq
         6whw==
MIME-Version: 1.0
X-Received: by 10.140.95.179 with SMTP id i48mr35640851qge.4.1423460697535;
 Sun, 08 Feb 2015 21:44:57 -0800 (PST)
Received: by 10.96.185.37 with HTTP; Sun, 8 Feb 2015 21:44:57 -0800 (PST)
In-Reply-To: <CABBJUpdqU=EvaZuYyp4=HxaM=uCw5drjxa_u6qqVR1bJSzeyMQ@mail.gmail.com>
References: <CAEZPtU6yorwRtoC1zMiEMrvuB_+ijL+UOBNZ-YJHxFGanw+UXg@mail.gmail.com>
	<CABBJUpdqU=EvaZuYyp4=HxaM=uCw5drjxa_u6qqVR1bJSzeyMQ@mail.gmail.com>
Date: Mon, 9 Feb 2015 12:44:57 +0700
Message-ID: <CAEZPtU6pdCD-_0O3Xg8+YsbtbE4NHGS7q0EAewm8UBBY2B2_uw@mail.gmail.com>
To: Xinchen Hui <laruence@php.net>
Cc: PHP internals <internals@lists.php.net>, Jakub Zelenka <bukka@php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] new json, push generated file?
From: pierre.php@gmail.com (Pierre Joye)

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 :)

-- 
Pierre

@pierrejoye | http://www.libgd.org