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
Previous text:
2003-01-24 09:38: Subject: Re: zero_type() & UNDEFINED and _typeof()
Sounds reasonably nice, but hard to extend to catch specific exceptions.
/ Niels Möller ()