Re: Extra information in the message string of exceptions.

["G.B." <bauhaus@notmyhomepage.invalid>]

On 29.10.22 05:10, Rod Kay wrote:

>     I'm a little surprised that the compiler shows a warning rather than an error but I suppose there must be some reason for that.


Formal language reasons aside, a program's author may have wanted
the program to raise an exception. (For example: "There is
a TODO here, so make sure the program never runs past this point.
Assign out of range.")

GNAT just emits a warning for the following program, albeit not the
same warning.
BTW, what would SPARK do here?

procedure Excpt
is
     Works_As_Expected: exception;

     procedure Test is
     begin
         if 1 = 1 then
             raise Works_As_Expected;
         else
             raise Program_Error;
         end if;
     end Test;
begin
     Test;
end Excpt;