Re: Source type.c says settype($var, "double") is deprecated
| From: | Markus Fischer | Date: | Sun, 06 Jan 2008 22:50:11 +0000 |
| Subject: | Re: Source type.c says settype($var, "double") is deprecated | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-34563@lists.php.net to get a copy of this message | ||
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
Hannes Magnusson wrote:
| It means that in PHP the type name is 'float' and referred to as
| 'float' throughout the manual
| For convenience you can use "double" (is_double($f), (double)$f,
| settype($f, "double")..), just like you can use is_integer() instead
| of is_int()... :)
Ok, I got it. I think :)
So the manual says only float everywhere but throughout the source the
internal type (the #define) is DOUBLE and gettype() is also returns
"double". Basically, the manual says it's deprecated and documents it
different when in fact PHP actually doesn't implement it that way ...
Phew :)
- - Markus
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFHgVsj1nS0RcInK9ARAqgsAJ0U/upO0t48xLWvvAjCqAs2RZOf7QCeIVK8
/JrmagWizxWsGK5C4PhY3s0=
=D7QP
-----END PGP SIGNATURE-----