Re: Comparing Access Types

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

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:ov0pp1$1rlu$1@gioia.aioe.org...
...
>> it's pretty much purpose-built to do that (it's in the name, after all).
>
> It has a nasty issue that you cannot pass your own access type. It is 
> clear that not any access type could be acceptable. The implementation 
> should be free to reject some upon instantiation.

Bob apologies for that nearly every time the subject comes up. (Not sure if 
he will do it here...) It is generally acknowledged to be a mistake; any 
general access type with convention Ada ought to work, and that is easily 
modeled with a generic formal access type. Having the type declared in the 
instance is a pain. It's not quite the pain than many think it is, since one 
can use a type conversion from the type declared in the instance to any 
other general access type with the right convention and designated type. But 
all of those extra conversions are just noise, and add nothing to program 
readability or understandability.

                                              Randy.