Re: Access procedure to pointer

["Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>]

S�bastien wrote:
> Ludovic Brenta a �crit :
>> procedure Foo;
>>
>> Access_Foo : constant access procedure := Foo'Access;
>>
>> Foo_Address : constant System.Address := Foo'Address;
>> Foo_Address : constant System.Address := Access_Foo.all'Address;
> 
> It was refused by the compiler, "subtype mark is required here".

Required where? If at "constant access procedure", then perhaps your compiler 
doesn't implement this feature of the new standard yet, in which case

type Foo_Ptr is access procedure;

Access_Foo : constant Foo_Ptr := Foo'Access;

Should work.

> I succeed using an unchecked conversion, looks like access to a 
> procedure has the same size than System.address since I didn't get any 
> warning.

This is highly compiler dependent. Even if they have the same size, there's no 
guarantee that they have the same representation.

-- 
Jeff Carter
"What's the amount of the insult?"
Never Give a Sucker an Even Break
104