ID: 37796
Comment by: admin at ifyouwantblood dot de
Reported By: nics at mail dot com
Status: Open
Bug Type: Feature/Change Request
Operating System: *
PHP Version: 6CVS-2006-06-13 (snap)
New Comment:
<=> would look nicer ;-).... still i think <> can be removed, its just
an overhead with no real use.
Previous Comments:
------------------------------------------------------------------------
[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
