RE: [PHP-DEV] [RFC] Number Format Separator
| From: | Thomas Punt | Date: | Tue, 12 Jan 2016 15:11:01 +0000 |
| Subject: | RE: [PHP-DEV] [RFC] Number Format Separator | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-90555@lists.php.net to get a copy of this message | ||
Hi Christoph,
> echo 1_000;
> will print
> 1000
>
> I think it is important to explicitly note that in the RFC.
>
> With regard to "stringy numerics": besides the potential BC break, IMHO
> there is no need to support digit separators for string literals at all,
> because that could easily be provided by a userland function. Maybe
> it's worth pointing that out in the RFC.
Thanks for the comments - I've update the RFC accordingly.
-Tom