[m-rev.] (no subject)

[Julien Fischer]

Hi Zoltan,

On Fri, 1 May 2020, Zoltan Somogyi wrote:

> 2020-05-01 15:34 GMT+10:00 Julien Fischer<jfischer at opturion.com>:
>>>              % and math_domain_error a type in the
>>> +            % same module.
>>
>> No. Users may want to catch such exceptions so the type needs be in a
>> publicly documented part of the library.
>
> You are right.
>
>> My suggestions would be:
>>
>>     1. in builtin.m
>>
>>     2. in exception.m, alongside software_error/1
>
> Is that an order of preference?

No.  There's a very small efficency argument for keeping it out of
builtin given that it's always imported, so I'd lean towards exception.

Julien.