Re: How can one record component be local and another not?

[Egil H H <ehh.public@gmail.com>]

On Thursday, May 7, 2020 at 12:15:07 PM UTC+2, Niklas Holsti wrote:
> On 2020-05-07 12:07, J-P. Rosen wrote:
> > Le 06/05/2020 à 19:30, Niklas Holsti a écrit :
> >> Note that, although "Test" here is no doubt the program's main
> >> subprogram and so its call (assuming it is not recursive) lasts almost
> >> as long as the execution of the program, the compiler does not make use
> >> of this fact to determine the life-times of types and objects in "Test".
> > 
> > No, tasks declared in library packages could survive the main program.
> 
> And the environment task, yes. I know, which is why I said "almost as 
> long as". The example program we were discussing had no library tasks.
> 
> > You may even have a "begin null; end" main program, and do all the work
> > with library tasks. 
> 
> Yes, but not for this example program. But I should have been clearer, I 
> admit.
> 
> > Moreover, there is no rule in Ada that makes the main subprogram "special".
> 
> Indeed, I was trying to make that point, but evidently not clearly enough.
> 
> Sometimes this is a little annoying, where one wants to write a small 
> program with some library-level stuff, but must then separate those 
> declarations into a package. An option to have a "main package" instead 
> of a "main subprogram" would sometimes be neat (and now somebody will 
> tell me that Gnat already has that...)
> 
> -- 
> Niklas Holsti
> Tidorum Ltd
> niklas holsti tidorum fi
>        .      @       .

Since you asked so nicely...

Sort of, 

-z
No main subprogram. Bind and link the program even if the unit name given on the command line is a package name. The resulting executable will execute the elaboration routines of the package and its closure, then the finalization routines.


I believe that's needed for the DSA?

-- 
~egilhh