Re: Pure Aspect on Library-Level Function

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

I agree with Christoph. The very last Ada 202x AI (because it's the only one 
that I haven't finished yet) obsolesces all of the categorization pragmas, 
only defining the aspects in the core. So it will be crystal clear in the 
updated RM that the aspects apply to all compilation units (the pragmas 
having moved to Annex J). (All of the language-defined packages also have 
been changed to use aspects - that was a job I was working on today - I 
believe there will be only a single pragma left in the entire Ada library (a 
single "Elaborate_All", in Interfaces.Fortran).

This probably is just an oversight in compiler O.

BTW, these aspects are implemented in Janus/Ada (and have been for a while); 
if I'm reading the code right, they should should be allowed on any library 
unit. So Janus/Ada agrees with compiler G.

                            Randy.

"AdaMagica" <christ-usch.grein@t-online.de> wrote in message 
news:317ba71f-f049-4bbd-8da3-cc8dc1637eaan@googlegroups.com...
> Hm, I worked thru the RM and think compiler O(bject Ada?) is incorrect. 
> But I'm not a language lawyer.
> A subprogram ceclaration is a library unit.
> 10.2.1(17) A pragma Pure is used to specify that a library unit is 
> declared pure, namely that the Pure aspect of the library unit is True
> 6.1(2) subprogram_declaration ::=
>    [overriding_indicator]
>    subprogram_specification
>        [aspect_specification];
> Thus it seems the aspect can be defined via a pragma or via an aspect 
> specification.