[Haskell-cafe] Re: Why purely in haskell?

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