Re: 'raise' in aspects?

[Simon Wright <simon@pushface.org>]

Simon Wright <simon@pushface.org> writes:

> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>
>> And you can't put 'raise' in an expression, which is why the Ada mode
>> parser rejects it.
>
> This is AI12-00221[1].
>
> The relevant ARM section is 4.4(3)[2].
>
> [1]
> http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0022-1.txt?rev=1.13
> [2] http://www.ada-auth.org/standards/2xrm/html/RM-4-4.html#p3

This code doesn't format with the latest ada-mode from mtn, but it does
raise the exception:

$ ./validity 

raised CONSTRAINT_ERROR : not an acceptable string

   with Ada.Text_IO;
   procedure Validity is

      S : String := "43";

      B : Boolean := Integer'Value (S) in 1 .. 42
      or else raise Constraint_Error with "not an acceptable string";

   begin
      Ada.Text_IO.Put_Line (B'Img);
   end Validity;