Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!A.ISI.EDU!GOODENOUGH
From: GOODENOUGH@A.ISI.EDU (John B. Goodenough)
Newsgroups: net.lang.ada
Subject: Re: Body Stubs
Message-ID: <8608201243.AA28050@ucbvax.Berkeley.EDU>
Date: Wed, 20-Aug-86 08:24:21 EDT
Article-I.D.: ucbvax.8608201243.AA28050
Posted: Wed Aug 20 08:24:21 1986
Date-Received: Thu, 21-Aug-86 01:04:10 EDT
References: <8608192251.AA26952@aerospace.arpa>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 6

The wording is wrong, but harmless.  The wording says a body stub is only
allowed under condition A or condition B, and condition A (an occurrence
within the specification of a library package) is never true because of
other rules, so a body stube is only allowed under condition B (immediately
within the declarative part of another compilation unit).
-------