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,
	WEIRD_PORT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9bf8bfc34e223b4d,start
X-Google-Attributes: gid103376,public
From: haug@zesi.ruhrREMOVEIT.de (Haug Buerger)
Subject: GNAT errormessage question
Date: 1998/01/25
Message-ID: <c1.01.2K7NRr$00o@zesi.ruhr.de>#1/1
X-Deja-AN: 319152455
Sender: haug@zesi.ruhr.de
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-01-25T00:00:00+00:00
List-Id: <comp.lang.ada>



Dyn_Array_Test.adb:9:09: instantiation error at t.ads:14
Dyn_Array_Test.adb:9:09: controlled type must be declared at the library level

What is the meaning of this error message? What is
meant with library level?

Thanks
		Haug



PS: The source that produced the error.



with Ada.Finalization;
generic
	type Elem_Type is private;		
  	Bound: in Positive;	
package t is
	type Dynamic_Array is tagged private;
private
   type Dynamic_Array is new Ada.Finalization.Controlled with
   record
   	Elements	: Natural := 0;
   end record;
end t;



with Ada.Strings.Unbounded;
use Ada.Strings.Unbounded;
with t;

procedure Dyn_Array_Test is

   procedure Test_Dyn_Array is
   	package Dyn_Ustr_Array is new t ( Unbounded_String,Bound=>1000 );
   	use Dyn_Ustr_Array;
   	da: Dynamic_Array;
   begin
     	null;
   end Test_Dyn_Array;

begin
	Test_Dyn_Array1;
end Dyn_Array_Test;