Re: Can .ads be compiled alone?

["G.B." <bauhaus@futureapps.invalid>]

On 07.11.14 16:49, Björn Lundin wrote:
> On 2014-11-07 15:54, 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?
>>
>
> It was never true, if the body was not needed
>
> This should compile and produce an object file
>
> package Constants is
>    Bad_Pi : constant Integer := 3;
> end Constants;

To wit,

$ gnatmake -v -gnatl -gnatv -gnatwa constants.ads

GNATMAKE GPL 2014 (20140331)
Copyright (C) 1992-2014, Free Software Foundation, Inc.
   "constants.ali" being checked ...
   -> "constants.ali" missing.
gcc -c -gnatl -gnatv -gnatwa constants.ads

GNAT GPL 2014 (20140331)
Copyright 1992-2014, Free Software Foundation, Inc.


Compiling: constants.ads (source file time stamp: 2014-11-07 16:16:35)

      1. package Constants is
      2.    Bad_Pi : constant Integer := 3;
      3. end Constants;

  3 lines: No errors
End of compilation
$ ls -l constants.o
-rw-r--r--  1 bauhaus  admin  444  7 Nov 17:17 constants.o