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

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

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
       .      @       .