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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b6751ae58ef95a4f,start
X-Google-Attributes: gid103376,public
From: William L Hayhurst <wlhst6+@pitt.edu>
Subject: Generics and I/O
Date: 1998/10/02
Message-ID: <Pine.GSO.3.96L.981002182724.301A-100000@unixs1.cis.pitt.edu>#1/1
X-Deja-AN: 397194801
X-Sender: wlhst6@unixs1.cis.pitt.edu
Content-Type: TEXT/PLAIN; charset=US-ASCII
Organization: University of Pittsburgh
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-10-02T00:00:00+00:00
List-Id: <comp.lang.ada>

Hi there.  I have a question about Generics and IO.  Given

generic
    type Item is private;
    package Foo is 
       -- ... --
       procedure Print is
           -- ... --
           Put( Item );
           -- ... --
       end Print;
    end Foo;

My compiler ( GNAT ) will flag the Put( Item ) as an error.
So if I instantiate foo as

declare
  -- ... --
  with Foo; use Foo;
  package Int_Foo is new Foo ( Item => Integer );
  use Int_Foo;

  -- ... -- 
end; 

and the Put( ) still won't work, even if a declare a new
Int_IO package in the scope of Foo::Print.  So do I have to
overload Put( ) inside package foo? 

Thanks in advance!

--Lyle