From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d0a0c07bfe9948e3,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-12-22 17:01:28 PST
Newsgroups: comp.lang.ada
Path: 
 nntp.gmd.de!newsserver.jvnc.net!howland.reston.ans.net!math.ohio-state.edu!jussieu.fr!fdn.fr!uunet!timbuk.cray.com!driftwood.cray.com!brh
From: brh@cray.com (Brian R. Hanson)
Subject: How is this done?
Message-ID: <1994Dec22.113500.14671@driftwood.cray.com>
Originator: brh@fir303
Nntp-Posting-Host: fir303
Reply-To: brh@cray.com
Organization: Cray Research, Inc., Eagan, MN
Date: 22 Dec 94 11:35:00 CST
Date: 1994-12-22T11:35:00-06:00
List-Id: <comp.lang.ada>

Given the following package and procedure definitions - 


with Text_Io;
package body Gen_List is 
   procedure View (L: in List) is
   begin
      Text_Io.Put_Line("This is output from view = " & List'Image(L));
   end;
end Gen_List;

generic
package Gen_List is
   type List is new Integer;
   procedure View (L: in List);
end Gen_List;

package body New_List is
   procedure Init (L: out List) is
   begin
      L := 5;
   end;
end New_List;

with Gen_List;
package New_List is
   type List is private;
   procedure View (L: in List);
   procedure Init (L: out List);
private
   package Old_List is new Gen_List;
   type List is new Old_List.List;
end New_list;

with New_List; use New_list;
procedure test is
   A: List;
begin
   View(A);
end test;


What needs to be done to have New_List.View use the View procedure 
that is the result of the type definition for New_List.List?

If I define a body for View in the body of New_List than it overrides
the procedure made available by the type definition - but I have to 
provide a procedure View to get things to compile.

Brian
brh@cray.com