Is assignment available for access parameters?

[mheaney@ni.net (Matthew Heaney)]

Is assignment of an access parameter to an object of a named (general)
access type legal?  The code below compiles under my compiler (GNAT), but
not on others (Rational, Aonix).  Who is correct?

My expectation is that the assignment be illegal, because the type is
anonymous.  This would be analogous to the rule that types that have an
access discriminant must be limited.  (Of course, with a type conversion,
then the assignment can be made legal.)

But I'm not sure.  RM95 5.2 (4) states that the "expected type for the
expression [on the RHS] is the type of the target."  Is an access parameter
implicitly converted to the target type?

-- STX
package P is

   type T is tagged null record;

   type TA is access all T'Class;

end;


with P;
procedure Test_P is

   procedure Proc (OA : access P.T) is
      OTA : P.TA := OA;  -- ???
   begin
      null;
   end;

begin

   null;

end;
-- ETX

Matt

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271