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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4bce46ddadaa9806
X-Google-Attributes: gid103376,public
From: Florian Weimer <fw@deneb.cygnus.argh.org>
Subject: Re: What is wrong here? (Generic and controlled types)
Date: 2000/04/21
Message-ID: <871z40j9kq.fsf@deneb.cygnus.argh.org>#1/1
X-Deja-AN: 613852759
References: <38E871E6.8D9EBE71@lufmech.rwth-aachen.de>
 <8caebe$6us$1@nnrp1.deja.com> <8cahmn$apq$1@nnrp1.deja.com>
 <873dp3hv8x.fsf@deneb.cygnus.argh.org> <8ci99q$tum$1@nnrp1.deja.com>
Mail-Copies-To: never
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@cygnus.argh.org
X-Trace: deneb.cygnus.argh.org 956295622 2037 192.168.1.2 (21 Apr 2000
 05:40:22 GMT)
Organization: Penguin on board
User-Agent: Gnus/5.0805 (Gnus v5.8.5) Emacs/20.6
Mime-Version: 1.0
Reply-To: Florian Weimer <fw-usenet@deneb.cygnus.argh.org>
NNTP-Posting-Date: 21 Apr 2000 05:40:22 GMT
Newsgroups: comp.lang.ada
Date: 2000-04-21T05:40:22+00:00
List-Id: <comp.lang.ada>

Robert Dewar <robert_dewar@my-deja.com> writes:

> But you are right, probably the use of the term local or global,
> while not so technically accurate would be clearer.
> 
> perhaps something like
> 
> library (global) level
> 
> might get the best of both worlds?

Maybe "global" isn't as helpful as it could be, I'm afraid.  When you
have no idea about "library level", you probably don't know that a
declaration at library level is more "global" than one in the main
subprogram, either.

Perhaps "outmost package" instead of "global" is better?