Re: [PHP4BETA] bug or feature ???
[email protected] (Andi Gutmans)
| Newsgroups | php.version4 |
|---|---|
| Message-ID | <[email protected]> |
At 11:58 PM 5/22/00 +0200, Sascha Schumann wrote: >On Sun, 21 May 2000, Andi Gutmans wrote: > > > We are using the C library strtod() in order to convert the number to a > > decimal. I see that strtod() uses locale. > > How should this be handled? Should we move to a US locale for the > > conversion? (probably a bit slow). > >I think using the locale is a feature, not a bug. If people choose to use >locales we should not try to force an arbitrary locale onto them. The problem is that the actual scanning in the Zend scanner is done without locale (it can't really be done any other way). So the locale only screws things up and doesn't help. Like most other programming languages we only scan numbers such as 45.345. We can't change this so clearly in PHP decimals need to look like that. Andi --- Andi Gutmans <[email protected]> http://www.zend.com/