Add support for a digit separator #1699
Conversation
| int len = yyleng - 2; | ||
| char *end; | ||
| char *end, *bin = strndup(yytext + 2, len); |
nikic
Dec 28, 2015
Member
Where is this freed again? Also, should use estrndup. It would also be good point to avoid copying the string if it does not have digit separators.
Where is this freed again? Also, should use estrndup. It would also be good point to avoid copying the string if it does not have digit separators.
40a6d87
to
61f5aab
|
This feature has been rejected with a final vote of 20:18 (yes:no). |

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.

RFC: https://wiki.php.net/rfc/number_format_separator