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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,26a21b9e317dc639
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.138.14 with SMTP id qm14mr3946570pbb.5.1353447293009;
        Tue, 20 Nov 2012 13:34:53 -0800 (PST)
MIME-Version: 1.0
Path: 
 6ni2209pbd.1!nntp.google.com!news.glorb.com!news.ecp.fr!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Access type to member procedure of instance (Object Oriented
 programming in Ada)
Date: Tue, 20 Nov 2012 15:34:51 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <k8gt1s$9tg$1@munin.nbi.dk>
References: <9b0bcb37-8ae3-440f-af4f-a796702e4250@googlegroups.com>
 <k8eh4g$bs8$1@munin.nbi.dk>
 <adc832ae-94f1-43eb-b119-be9767888a19@googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1353447292 10160 69.95.181.76 (20 Nov 2012 21:34:52 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 20 Nov 2012 21:34:52 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-RFC2646: Format=Flowed; Original
Date: 2012-11-20T15:34:51-06:00
List-Id: <comp.lang.ada>

"Adam Beneschan" <adam@irvine.com> wrote in message 
news:adc832ae-94f1-43eb-b119-be9767888a19@googlegroups.com...
...
>> I'm not certain what the convention of this procedure is (it might be
>> defined to be "intrinsic" somewhere, in which case you couldn't take 
>> 'Access
>> to it, I can't find such a rule on a quick check of the RM).
>
>6.3.1(4): The Intrinsic calling convention represents subprograms that are 
>�built in�
>to the compiler. The default calling convention is Intrinsic for the 
>following: ...
>
>6.3.1(10.1/2) any prefixed view of a subprogram (see 4.1.3).

Thanks. I looked for that, but couldn't find it.

...
>> But it surely
>> exists and should not report that "selector "Print" doesn't exist.
>
>Yep, the error message appears to be wrong, but I can sort of understand 
>it.  If the
>compiler knows that a prefixed view wouldn't be allowed here (as a prefix 
>to 'Access),
>then since it has to do name resolution (in case Print is overloaded), it 
>might be using a
>different search routine than it would use if it were processing a 
>procedure call.  Or
>something like that.

I can "understand" how the message came about, but that's unlikely to help 
the poor programmer who can't figure out the problem. Or even the harried 
language-lawyer who is certain that the prefix is legal... :-)

                                 Randy.