ID: 37796
Updated by: [EMAIL PROTECTED]
Reported By: nics at mail dot com
-Status: Open
+Status: Bogus
Bug Type: Feature/Change Request
Operating System: *
PHP Version: 6CVS-2006-06-13 (snap)
New Comment:
There's no overhead in having both != and <> but many people are used
to one or the other from different contextsm whereas !== is a php-only
thing and one for that is enough.
Previous Comments:
------------------------------------------------------------------------
[2008-01-26 16:36:12] admin at ifyouwantblood dot de
<=> would look nicer ;-).... still i think <> can be removed, its just
an overhead with no real use.
------------------------------------------------------------------------
[2006-06-13 20:39:47] nics at mail dot com
Description:
------------
Just my ideas for the equivalent of <>.
I noticed that it did not have for operator <> with the type
comparison.
File: ZendEngine2/zend_language_scanner.l
- <ST_IN_SCRIPTING>"!==" {
+ <ST_IN_SCRIPTING>"!=="|"<>=" {
return T_IS_NOT_IDENTICAL;
}
Actual result:
--------------
!= and <>
!== don't have equivalent with "<>"
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/?id=37796&edit=1
