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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c78631398b51f91b
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: prefixed view
Date: Thu, 6 Dec 2007 17:36:43 -0600
Organization: Jacob's private Usenet server
Message-ID: <fja0rq$99g$1@jacob-sparre.dk>
References: 
 <8727544b-2f4f-4817-bb2e-20d4d104ae5d@w34g2000hsg.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: jacob-sparre.dk 1196983994 9520 69.95.181.76 (6 Dec 2007 23:33:14
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 6 Dec 2007 23:33:14 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1914
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1914
Xref: g2news1.google.com comp.lang.ada:18751
Date: 2007-12-06T17:36:43-06:00
List-Id: <comp.lang.ada>

"Maxim Reznik" <reznikmm@gmail.com> wrote in message
news:8727544b-2f4f-4817-bb2e-20d4d104ae5d@w34g2000hsg.googlegroups.com...
...
> ARM 4.1.3 (9.2/2): The selected_component denotes a view of this
> subprogram that omits the first formal parameter. This view is called
> a prefixed view of the subprogram...
>
> Can I rename this view as new subprogram or use it as an actual
> parameter in instantiation?
> If NOT, why?

Yes, you can rename a prefixed view and use it as an actual. Indeed, I
recently wrote an ACATS test to check this (it will be part of the upcoming
ACATS 3.0). You can't use a prefixed view in places where the calling
convention has to match (such as the prefix of 'Access) because it is
considered intrinsic.

Existing compilers didn't do very well with the ACATS test, so I wouldn't
expect this to work with the compiler you have. But it probably will in the
future releases, because *everyone* runs the ACATS, so no one will fail to
be aware of the requirement.

                              Randy.