How is this done?

[brh@cray.com (Brian R. Hanson)]

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