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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ac39a12d5faf5b14
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-04-29 07:44:07 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!feed2.news.rcn.net!rcn!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!spool0900.news.uu.net!reader0900.news.uu.net!not-for-mail
Message-ID: <3CCD5C64.2030303@mail.com>
Date: Mon, 29 Apr 2002 10:44:52 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US;
 rv:1.0rc1) Gecko/20020417
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Shared generics
References: <5ee5b646.0204200830.2bd258d2@posting.google.com>
 <7wjw8.6355$Bl5.3716799705@newssvr21.news.prodigy.com>
 <3CC207BA.5F039C6D@adaworks.com> <aa19r9$q6q$1@nh.pace.co.uk>
 <uc9nipnjt9615c@corp.supernews.com> <x7vhem30ynh.fsf@smaug.pushface.org>
 <ucj6ruai26gha3@corp.supernews.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Cache-Post-Path: master.nyc.kbcfp.com!unknown@mosquito.nyc.kbcfp.com
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1020091446 reader0.ash.ops.us.uu.net 26442 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:23216
Date: 2002-04-29T10:44:52-04:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:
> Yes, Janus/Ada 95 still has shared generics. Really ugly to get right in
> Ada 95 (Ada 83 was much easier that way).

I have a question about Ada generics. If I have understood
my text book correctly, one can instantiate a generic with
a local variable as a parameter. This is different from C++,
where a variable used as a generic parameter must be global.
So it seems to me that at least some Ada generics *must* be
implemented by sharing, rather than *can* be.