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
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!AEROSPACE.ARPA!hogan
From: hogan@AEROSPACE.ARPA
Newsgroups: net.lang.ada
Subject: Body Stubs
Message-ID: <8608192251.AA26952@aerospace.arpa>
Date: Tue, 19-Aug-86 18:49:58 EDT
Article-I.D.: aerospac.8608192251.AA26952
Posted: Tue Aug 19 18:49:58 1986
Date-Received: Wed, 20-Aug-86 23:19:28 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

I found an interesting paragraph in the ARM that seems wrong:

10.2 (3) A body stub is only allowed as the body of a progrm unit (a subprogram, a package, a task unit, or a generic unit) if the body stub occurs immediately
within either the specification of a library package or the declarative part
of another compilation unit.

Seems to me the intent of this paragraph is that body stubs cannot be used
as the bodies of library units; they must be declared within other units.  But
the words say "if the body stub occurs immediately within...the specification
of a library package".  However, the syntax of package specifications, 7.1(2), 
says package specification may only contain basic_declarative_items, which 
cannot be bodies.

Is the wording of the ARM wrong or am I reading it wrong ?

mike hogan