Re: timer_server triggers Task_Termination handler

[Jacob Sparre Andersen <sparre@nbi.dk>]

Randy Brukardt wrote:

> "Per Dalgas Jakobsen" <pdj@knaldgas.dk> wrote in message 
> news:nfa9nm$bkc$1@loke.gir.dk...
>> Is it correct behaviour when tasks internal to the GNAT run-time causes 
>> users task_termination handlers to be called?
>
> Sure, why not?

Maybe because you end up having to inspect the run-time library to
figure out why your application behaves like it does?

Or because it makes the behaviour of your program depend on which (correct)
run-time library you compile it with?

> And what about tasks in third-party libraries?

In my opinion third-party libraries are a different matter from the
run-time provided by the compiler.

I would definitely expect the handlers to be called for any tasks
declared outside the run-time.

Greetings,

Jacob

PS: I agree that the compiler providers should write as much as possible
    of the run-time library in Ada.
-- 
... but, following long-established custom, it is Laplace's result
that is always called, in the modern litterature, "Bayes' theorem." (Jaynes)