Re: New JSON parser
| From: | Jakub Zelenka | Date: | Thu, 13 Mar 2014 20:20:21 +0000 |
| Subject: | Re: New JSON parser | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-73126@lists.php.net to get a copy of this message | ||
On Thu, Mar 13, 2014 at 8:04 PM, Nikita Popov <nikita.ppv@gmail.com> wrote:
>
>
> One quick note, while looking over the code: FLOAT = INT "." UINT should
> be FLOAT = INT "." DIGIT+ otherwise you'll disallow numbers with leading
> zeros, e.g. 1.001. Same applies to ( INT | FLOAT ) [eE] [+-]? UINT, where
> the exponent should also allow leading zeros ;)
>
>
Yeah definitely! Good catch! Fixed... ;)
Thanks
Jakub