Re: AUnit: access to local procedure needed when asserting exception

[Simon Wright <simon@pushface.org>]

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> Consequently, when seeing procedure Test_Null mostly reproduced below,
> the compiler diagnoses (correctly, I think)
>
>     66.       AUnit.Assertions.Assert_Exception (Null_Raises'Access,
>                                                  |
>         >>> subprogram must not be deeper than access type

At this point I tend to just use 'Unrestricted_Access.

I've never quite understood the point of this facility, what's wrong
with

   begin
      --  do whatever should raise The_Exception
      Assert (C, False, "should have raised The_Exception");
   exception
      when The_Exception => null;
   end;