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 [email protected] to get a copy of this message

On Thu, Mar 13, 2014 at 8:04 PM, Nikita Popov <[email protected]> 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


   

Thread (29 messages)

• Jakub ZelenkaThu, 13 Mar 2014 19:48:29 +0000
  • Nikita PopovThu, 13 Mar 2014 20:04:21 +0000
    • Jakub ZelenkaThu, 13 Mar 2014 20:20:21 +0000
  • Marco SchusterThu, 13 Mar 2014 22:37:54 +0000
    • Andrea FauldsThu, 13 Mar 2014 22:52:19 +0000
      • Marco SchusterThu, 13 Mar 2014 23:37:54 +0000
      • Christian StollerFri, 14 Mar 2014 07:43:32 +0000RE: [PHP-DEV] New JSON parser
    • Levi MorrisonFri, 14 Mar 2014 14:12:24 +0000
    • Jakub ZelenkaSat, 15 Mar 2014 19:07:33 +0000
      • Martin AmpsSat, 15 Mar 2014 19:17:45 +0000
  • Remi ColletFri, 14 Mar 2014 08:36:54 +0000
    • Jakub ZelenkaSat, 15 Mar 2014 19:21:15 +0000
      • David Soria ParraMon, 17 Mar 2014 17:45:55 +0000
        • Jakub ZelenkaMon, 17 Mar 2014 18:34:55 +0000
  • GmailFri, 14 Mar 2014 08:48:07 +0000
  • Paul DragoonisFri, 14 Mar 2014 15:38:23 +0000
  • Pierre JoyeSat, 15 Mar 2014 20:07:59 +0000
  • Ivan Enderlin @ HoaTue, 18 Mar 2014 09:09:38 +0000
    • Ivan Enderlin @ HoaTue, 18 Mar 2014 10:40:32 +0000
    • Jakub ZelenkaTue, 18 Mar 2014 15:48:58 +0000
  • Jan SchneiderTue, 25 Mar 2014 07:47:09 +0000
    • Jakub ZelenkaTue, 25 Mar 2014 20:51:33 +0000
  • Rouven WeßlingSun, 30 Mar 2014 18:17:42 +0000
  • Jan TvrdíkWed, 09 Apr 2014 14:53:31 +0000Re: New JSON parser
    • Jakub ZelenkaSun, 13 Apr 2014 19:08:07 +0000Re: Re: New JSON parser
  • Jan TvrdíkWed, 09 Apr 2014 17:21:05 +0000Re: New JSON parser
• Gaetano GiuntaMon, 24 Mar 2014 22:22:48 +0000Re: New JSON parser
  • Jakub ZelenkaTue, 25 Mar 2014 20:28:00 +0000Re: Re: New JSON parser
    • Gaetano GiuntaTue, 25 Mar 2014 23:35:24 +0000