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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.222.135 with SMTP id qm7mr9936420pac.20.1415378641033;
        Fri, 07 Nov 2014 08:44:01 -0800 (PST)
X-Received: by 10.50.18.50 with SMTP id t18mr63467igd.3.1415378640894; Fri, 07
 Nov 2014 08:44:00 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.ripco.com!news.glorb.com!h15no7604140igd.0!news-out.google.com!c9ni6612igv.0!nntp.google.com!r10no5155817igi.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 7 Nov 2014 08:44:00 -0800 (PST)
In-Reply-To: <m3imev$pe4$1@loke.gir.dk>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=66.126.103.122;
 posting-account=KSa2aQoAAACOxnC0usBJYX8NE3x3a1Xq
NNTP-Posting-Host: 66.126.103.122
References: <520f8f3d-b345-4ef8-ac41-ead78edde92a@googlegroups.com>
 <rP_6w.67103$7w2.45243@fx01.am4> <m3imev$pe4$1@loke.gir.dk>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <74cb6762-39cc-45c8-af78-7e18a3192f49@googlegroups.com>
Subject: Re: Can .ads be compiled alone?
From: Adam Beneschan <adambeneschan@gmail.com>
Injection-Date: Fri, 07 Nov 2014 16:44:00 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:23064
Date: 2014-11-07T08:44:00-08:00
List-Id: <comp.lang.ada>

On Friday, November 7, 2014 6:54:24 AM UTC-8, Tero Koskinen wrote:
> 7.11.2014 9:48, Chris Moore wrote:
> > You cannot generate code from a spec.
>=20
> I think this isn't true anymore for Ada 2012?

I don't think it was true for Ada 83.  I can compile this, and there are no=
 warning or other messages:

    with Foo;
    pragma Elaborate(Foo);
    package Pack1 is
        X : Integer :=3D Foo.My_Function;
    end Pack1;

If I add anything to this source (e.g. a procedure declaration) that causes=
 a package body to be required, I do get "cannot generate code".  Your sour=
ce falls into the same category; your spec doesn't require (or allow) a bod=
y, therefore there is no message.

                             -- Adam