Re: gnat: time-slicing

[dewar@gnat.com (Robert Dewar)]

Kilgallen@SpamCop.net (Larry Kilgallen) wrote in message news:<YO$4QirEkuiT@eisner.encompasserve.org>...

> Or unless you have a guarantee from the Ada implementation or the
> operating system in that regard.

In my view it is dubious for an Ada implementation to guarantee the
behavior of an erroneous program, and it is even more dubious for
a program to rely on such a guarantee. No competent Ada programmer
should ever write erroneous code except in very rare and very well
documented situations, and even there it is almost always better to
find another solution.

For example, if you write erroneous code, a new version of the compiler
may change the behavior, and you have no basis to complain. Moreover
if you have to port the code to another compiler you can get into very
nasty trouble. It is one thing to rely on implementation defined
behavior (which can of course also cause portability difficulties,
but of a much better defined kind) and quite another to rely on
erroneous code.