21 Jan
2003
21 Jan
'03
8:34 p.m.
Hi all,
It is logical to expect that if zero_type(X) == zero_type(Y) then X == Y However: 0 == UNDEFINED but zero_type(0) != zero_type(UNDEFINED) this means that checks like some_value == UNDEFINED will never work correctly if some_value is an integer zero. Using zero_type() is not always convenient, at least not for readability... I suspect that this wasn't intended to operate this way, or? Regards, /Al