From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Pure Aspect on Library-Level Function
Date: Sun, 7 Feb 2021 03:09:45 -0800 (PST) [thread overview]
Message-ID: <317ba71f-f049-4bbd-8da3-cc8dc1637eaan@googlegroups.com> (raw)
In-Reply-To: <rvn3fd$pk2$1@dont-email.me>
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.
next prev parent reply other threads:[~2021-02-07 11:09 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-06 21:59 Pure Aspect on Library-Level Function Jeffrey R. Carter
2021-02-07 11:09 ` AdaMagica [this message]
2021-02-11 2:53 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox