Re: 'raise' in aspects?

[Simon Wright <simon@pushface.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

> You can write
>     raise Program_Error with "Not yet implemented";
> in any function (since a raise expression matches any type), and you don't 
> have to dream up a useless dummy return value to do so.

actually

   return raise Program_Error with "Not yet implemented";

of course.

I liked (but haven't had reason to try; I had already spent far too long
generating "useless dummy return values") Bob Duff's recursive solution:

   function F return Boolean is
   begin
      raise Program_Error with "Not yet implemented";
      return F;
   end F;