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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1dd28d5040ded1f8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-10 01:28:54 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!pec-13-19.tnt2.hh2.uunet.DE!not-for-mail
From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Announce: Grace project site operational
Date: Fri, 10 May 2002 10:29:44 +0200
Message-ID: <l71ndug5qedbaf5gdfpufqid16upnmjmcq@4ax.com>
References: <3CD88FBD.4070706@telepath.com>
 <MwGUb1cULPdB@eisner.encompasserve.org> <3CD91E31.1060004@telepath.com>
 <3CD94E63.3050607@mail.com> <TP7CiYvFfPBT@eisner.encompasserve.org>
 <abbmhs$e39$1@nh.pace.co.uk> <w1dYrjaH4ynM@eisner.encompasserve.org>
 <4519e058.0205090554.1e58d951@posting.google.com>
NNTP-Posting-Host: pec-13-19.tnt2.hh2.uunet.de (149.225.13.19)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: fu-berlin.de 1021019332 18654885 149.225.13.19 (16 [77047])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:23823
Date: 2002-05-10T10:29:44+02:00
List-Id: <comp.lang.ada>

On 9 May 2002 06:54:09 -0700, dennison@telepath.com (Ted Dennison)
wrote:

>Kilgallen@SpamCop.net (Larry Kilgallen) wrote in message news:<w1dYrjaH4ynM@eisner.encompasserve.org>...
>> Is there no way a generic type parameter can have a default value ?
>
>Not a *type* parameter, no. Perhaps this is something that should be
>looked at for the next Ada revision?

Talking about next revisions and default values, there is another
problem with them. How to make a default value private? Let I have
some value declared in the private part and I don't want to expose it
in the public part. Then there will be no way to use it as a default
value in any public thing.

Another problem is that there is no way to publicly instantiate
generics with some private object as the actual parameter. [Of course
the generic shall refer the corresponding formal parameter in the
private part and the body only.] It would be nice to have some sort of
incomplete generic instantiation, completed in the private part.

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de