Re: 'raise' in aspects?

["Randy Brukardt" <randy@rrsoftware.com>]

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyy4s67x3m.fsf@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.

Right.

> 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;

I think that one is a compiler-fall-over test, at least if the return type 
is a limited and required build-in-place. :-) Not so much for Boolean (but 
of course "return False" works fine there).

                              Randy.