zero_type() & UNDEFINED (bug?)

0 != UNDEFINED. UNDEFINED is 0 with the zero flag set. That is the whole point of it.

/ Peter Bortas

Previous text:

2003-01-22 02:35: Subject: zero_type() & UNDEFINED (bug?)

---

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

/ Brevbäraren