From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.107.53.221 with SMTP id k90mr497862ioo.90.1518517699000;
        Tue, 13 Feb 2018 02:28:19 -0800 (PST)
X-Received: by 10.157.63.152 with SMTP id r24mr27140otc.0.1518517698904; Tue,
 13 Feb 2018 02:28:18 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!tncsrv06.tnetconsulting.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!w142no1305108ita.0!news-out.google.com!s63ni3172itb.0!nntp.google.com!o66no1298065ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 13 Feb 2018 02:28:18 -0800 (PST)
In-Reply-To: <p5ubrg$1l95$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83cd:cafc:4814:1a8a:8357:80b1;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83cd:cafc:4814:1a8a:8357:80b1
References: <p5l6bd$ete$1@dont-email.me> <p5lne2$fe9$1@franka.jacob-sparre.dk>
 <p5mflm$ibq$1@dont-email.me> <p5tudq$5eb$1@franka.jacob-sparre.dk>
 <22dc19b9-ed5f-464a-bd56-87bd9e16c23a@googlegroups.com>
 <p5ubrg$1l95$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <dfb02e95-8bcd-4226-84d5-39bd20243421@googlegroups.com>
Subject: Re: Formal Subprogram Access
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Tue, 13 Feb 2018 10:28:18 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:50415
Date: 2018-02-13T02:28:18-08:00
List-Id: <comp.lang.ada>

RM 6.3.1(9)   Attribute subprograms have convention Intrinsic.
RM 8.5.4(5/3) Intrinsic subprograms must not be renamed.
RM 12.6(9)    In an instance, a formal_subprogram_declaration declares a view of
              the actual. The profile of this view takes its ... calling
              convention from the original profile of the actual entity.

It seems that attribute subprograms are allowed as actuals.

So again: Is 'Access and renaming of a formal subprogam allowed? It might be an attribute.