Re: Elaboration in GNAT

[Arnaud Charlet <charlet@gnat.com>]

<< True, but is it not also the case that these bugs are relatively
innocuous?  That is, if you forget your pragmas, then your program
usually blows up during elaboration (and you fix it), or else it doesn't
blow up (using this compiler).  That is, it's more of a *portability*
problem, than a problem of programs malfunctioning when users use them. >>

If you have library level tasks, that's definitely not true, since you can
have subtle
race conditions. And when you go from version n to version n+1 of your
favorite
compiler, you need to go and chase these bugs again.

Arno