Re: Exceptions

On Thu, 06 Dec 2007 15:24:44 -0600, tmoran@xxxxxxx wrote:

Is there any way to force programmers to catch exception that
your function throws?

Do you mean force them to write code like:
y := func(x);
when funcs_important_exception=>null; -- ignore unimportant exception

Semantics of exception handling is a different story. When a contract is
satisfied, its implementation can still be incorrect.

When "a way to force" reads "exceptions contract", then the answer is no,
there is no way, alas.

Dmitry A. Kazakov