Re: Access type to member procedure of instance (Object Oriented programming in Ada)

["Randy Brukardt" <randy@rrsoftware.com>]

"Brian Drummond" <brian@shapes.demon.co.uk> wrote in message 
news:k8fqd7$1hv$4@dont-email.me...
> On Mon, 19 Nov 2012 11:39:03 +0000, Brian Drummond wrote:
>> On Mon, 19 Nov 2012 01:59:42 -0800, ake.ragnar.dahlgren wrote:
...
>>> Is it possible to create a parameterless access type to the
>>> Message.Print procedure? The following application refuses to compile:
>>
>> Message.Print is not parameterless, it is identical to Print(Message)
>> so ... no.
>
> Okay. I am astonished!
> But I am more than happy to withdraw the above "no".

I'm astonished, too. Unfortunately, I think this is depending on a compiler 
bug. (One that I'd encourage them to keep :-).

Ada says that the properties of a renaming are the same as the renamed 
entity. Since the renamed entity in this case has convention Intrinsic, the 
renaming also should have convention Intrinsic (and thus the 'Access still 
should be illegal).

Probably what's happening here is that the compiler is generating a wrapper 
to implement this rename, and it is allowing 'Access to be taken of this 
wrapper, because there is no implementation reason not to. But I don't think 
it should be allowed in language terms.

                                    Randy.