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.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site harvard.UUCP
Path: utzoo!linus!decvax!genrad!panda!talcott!harvard!macrakis
From: macrakis@harvard.UUCP (Stavros Macrakis)
Newsgroups: net.lang.ada
Subject: Single Entry: a Buzzword?
Message-ID: <704@harvard.UUCP>
Date: Tue, 11-Feb-86 13:15:21 EST
Article-I.D.: harvard.704
Posted: Tue Feb 11 13:15:21 1986
Date-Received: Thu, 13-Feb-86 19:09:25 EST
References: <2608@sdcrdcf.UUCP> <86@Shasta.ARPA>
Organization: Aiken Comp. Lab., Harvard
Summary: I see no `undefined buzzwords' here.
List-Id: <comp.lang.ada>


steve@sdcrdcf.UUCP (Steven Holtsberg) asks <2608@sdcrdcf.UUCP>:
> Does anyone know the definition of a "single entry"?

Mark Biggar (markb@sdcrdcf.UUCP) suggests: 	       <2610@sdcrdcf.UUCP>
> I took this to mean that a tasks entires can be overloaded independently
> and not as a group.

This is not correct.

David Rosenblum (rose@Shasta.ARPA) correctly replies:	    <86@Shasta.ARPA>
> Task entries can be either single entries or members of an entry family.
> Thus, entry family members CANNOT be overloaded.  This should answer your
> question.
...but continues:
> My favorite undefined buzzphrase in the LRM is "unconstrained types
> with discriminants," which I eventually found out includes ...

`Single entry' is NOT an `undefined buzzword': it is defined exactly
where I expected it to be defined, in the section that defines entries:

    The term <single entry> [means] any entry other than one of a family.
						9.5/3

Presumably `single' was meant to contrast with `family'.  In any case,
it ought to have been entered into the index.  Note also 9.5/5 re
overloading of single entries and entry families.

As for "unconstrained types with discriminants," I can't find any
explicit definition (although in this case there IS an index entry), but
it means exactly what it says, namely an unconstrained type (3.3/4) that
has discriminants (3.7.1/3).

	-s