From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: elab pragma placement
Date: Sun, 22 Jan 2023 01:55:07 -0800 (PST) [thread overview]
Message-ID: <4db688df-4ada-4eaf-8c49-ac8ab1956b91n@googlegroups.com> (raw)
In-Reply-To: <tqirfc$1vu2$1@gioia.aioe.org>
A subprogram is a program unit and may be declared pure. I do not see that A.B performs any of 10.2.1(15ff).
I tried
procedure A.B (x : T) with Pure;
which is accepted together with its body and still got the compiler complaint.
Looks like a compiler problem.
next prev parent reply other threads:[~2023-01-22 9:55 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-21 23:43 elab pragma placement Simon Belmont
2023-01-22 8:15 ` Luke A. Guest
2023-01-22 9:55 ` AdaMagica [this message]
2023-01-22 23:14 ` Rod Kay
2023-01-22 23:18 ` Rod Kay
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox