Access type scope

Access type scope

[Lin]

When I compile the main program below, the error message is "type
extension at deeper accessibility level than parent". How can I deal
with it if I need the extension? Any clues about it? Many Thanks.

--Lin

--------------------------------
with System.RPC; use System.RPC;
with test;
procedure main is 
   procedure Fred(Y: access Params_Stream_Type) is
      type APS is access all System.RPC.Params_Stream_Type;
      type msg_type is new test.Msg_Type with
      record
         params : APS;
      end record;
      X : APS;
      Msg : msg_type;
   begin
      Msg := (
        test.Msg_Type with
        params => APS (Y));
      X := APS(Y);
   end Fred;
   PS : aliased Params_Stream_Type(0);
begin
   Fred(PS'access);
end main;

with System.RPC;
package test is
  type Msg_Type is tagged
   record
     From_Par_Id : System.RPC.Partition_ID;
   end record;
end test;

Re: Access type scope

[David C. Hoos, Sr.]

You need to declare your type extension at library level e.g.,
in a package or in a library-level subprogram, instead of in
a procedure nested within a library-level procedure.

----- Original Message ----- 
From: "Lin" <Lin@post.com>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: July 20, 2001 10:54 AM
Subject: Access type scope


> When I compile the main program below, the error message is "type
> extension at deeper accessibility level than parent". How can I deal
> with it if I need the extension? Any clues about it? Many Thanks.
> 
> --Lin
> 
> --------------------------------
> with System.RPC; use System.RPC;
> with test;
> procedure main is 
>    procedure Fred(Y: access Params_Stream_Type) is
>       type APS is access all System.RPC.Params_Stream_Type;
>       type msg_type is new test.Msg_Type with
>       record
>          params : APS;
>       end record;
>       X : APS;
>       Msg : msg_type;
>    begin
>       Msg := (
>         test.Msg_Type with
>         params => APS (Y));
>       X := APS(Y);
>    end Fred;
>    PS : aliased Params_Stream_Type(0);
> begin
>    Fred(PS'access);
> end main;
> 
> with System.RPC;
> package test is
>   type Msg_Type is tagged
>    record
>      From_Par_Id : System.RPC.Partition_ID;
>    end record;
> end test;
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
>