Re: zero_type() & UNDEFINED and _typeof()

I think about as a special kind of exception. I guess one could think about it in other ways.

/ Niels Möller ()

Previous text:

2003-01-24 16:18: Subject: Re: zero_type() & UNDEFINED and _typeof()

---

These expression failures shouldn't be confused with exceptions, I think. They would probably not even be implemented that way since exceptions aren't entirely cheap and these failures would be very common.

For instance, I think that sizeof() in my example should still throw a normal exception (handled just like it is today) instead of reporting failure if it was fed zero or some other invalid type.

/ Martin Stjernholm, Roxen IS