> Yes, this is a doctrinal problem. Since *any* concrete reaction, e.g., an
> error message is a kind of answer, the only - unusable as it is - way of
> not providing it is to fail the termination...
You can just disallow the call, using the type system.
Not that it's always easy or practical either, mind you.
Stefan