[mercury-users] question about error/1

[Mark Brown]

Hi Nick,

On 24-Jan-2008, Nicholas Nethercote <njn at csse.unimelb.edu.au> wrote:
> On Thu, 24 Jan 2008, Ralph Becket wrote:
>
>>> When I call error/1, the program terminates with a message like this:
>>>
>>>   Uncaught Mercury exception:
>>>   Software Error: <message>
>>>
>>> Is it possible to omit the "Uncaught Mercury exception: Software Error:"
>>> bit?
>>
>> That's rather the point of error/1.  You just use throw/1 for other
>> exceptions.
>
> I just want to abort easily with a message of my choosing.  Instead I get a 
> message of my choosing plus some other stuff, which will likely confuse 
> users.  To avoid that confusion, I have to use 'try' + I/O, which is a 
> hassle.
>
> In short, it would be nice to be able to abort with a message of my 
> choosing.

The implementation of error/1 is

    error(Message) :-
        throw(software_error(Message)).

so I think throw/1 is what you want.

Cheers,
Mark.

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------