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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Formal Subprogram Access
Date: Tue, 13 Feb 2018 10:41:05 +0100
Organization: Aioe.org NNTP Server
Message-ID: <p5ubrg$1l95$1@gioia.aioe.org>
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>
NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:50412
Date: 2018-02-13T10:41:05+01:00
List-Id: <comp.lang.ada>

On 13/02/2018 10:24, AdaMagica wrote:

> So now I'm confused. Is it allowed to take 'Access of a formal subprogram? If the actual is an attribute, it is Intrinsic, so 'Access is not allowed.

and, one can write a generic, rename the formal argument inside it. 
Instantiate it with 'Image, take 'Access of the renaming from the 
instance and thus work around the constraint, now outside the generics.

Either the constraint is superfluous or generic renaming is not renaming 
but actually a wrapper generator, which I think it really is.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de