Re: Can .ads be compiled alone?

[Adam Beneschan <adambeneschan@gmail.com>]

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.
> 
> 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 := 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 source falls into the same category; your spec doesn't require (or allow) a body, therefore there is no message.

                             -- Adam