Re: Aspects, rep specs, shifts, conditional expressions, expression functions

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

"Bill Findlay" <yaldnif.w@blueyonder.co.uk> wrote in message 
news:CB186063.D1C0%yaldnif.w@blueyonder.co.uk...
...
>   type blockage is (buffer_busy, locked_out) with Size => 1;

Minor stylistic comment:
The intended style for aspect_specifications is to have them indented on the 
line following the declaration, as follows:

   type blockage is (buffer_busy, locked_out)
      with Size => 1;

We had a huge argument about this in the ARG. Note that the recommended 
indentation style for any Ada construct is that shown in the syntax diagrams 
in the RM. (The layout of those productions is not random, even if a lot of 
people think it is!)

Of course, you can do whatever you want -- just keep in mind that there is 
an intended style for Ada.

                                  Randy.