help / color / mirror / Atom feed
From: AdaMagica <>
Subject: Re: elab pragma placement
Date: Sun, 22 Jan 2023 01:55:07 -0800 (PST)	[thread overview]
Message-ID: <> (raw)
In-Reply-To: <tqirfc$1vu2$>

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.

  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