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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c5368bf8a474d68b,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: g2news1.google.com!postnews.google.com!not-for-mail
From: fracttcarf@yahoo.co.kr (Bini)
Newsgroups: comp.lang.ada
Subject: default generic parameter ?
Date: 16 Mar 2005 18:43:18 -0800
Organization: http://groups.google.com
Message-ID: <6cf157bb.0503161843.139310b0@posting.google.com>
NNTP-Posting-Host: 61.76.255.27
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1111027398 25250 127.0.0.1 (17 Mar 2005 02:43:18
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 17 Mar 2005 02:43:18 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:9529
Date: 2005-03-16T18:43:18-08:00
List-Id: <comp.lang.ada>

generic
	type Item is private;
	with procedure Item_Destroy(I : out Item) := null; -- Invalid syntax...
package List is
	type List is limited private;
	type List_Element is limited private;
	.
	.
	. -- procedure and function for List ...
	.
private
	type List_Element_Record;
	type List_Element is access List_Element_Record;
	type List_Element_Record is record
		Data	: Item_T;
		Next	: List_Element := null;
	end record;

	type List_Record is record
		Size	: Natural := 0;
		Head	: List_Element := null;
		Tail	: List_Element := null;
	end record;

	type List is access List_Record;


package body List is
	procedure List_Destroy(Lst	: in out List)
		Tmp	: Item;
	begin
		.
		.
		while Lst.Size /= 0 loop
			.
			.
			if Item_Destroy /= null then
				Item_Destroy(Tmp);
			end if;
			.
			.
		end loop
		Free(Lst);
	end List_Destroy;
	.
	.

Of course this code is Invalid
But I want to make default generic formal parameter(?)...
How I can do it?

I am not a native speaker of English. I am sorry...