-----Original Message-----
From: [log in to unmask] [mailto:[log in to unmask]]
Sent: Wednesday, November 07, 2001 2:46 PM
To: [log in to unmask]
Subject: Re: Run-time checking

> Well, that's probably true.  In this particular case, I remember the
> GNAT documentation argues that the cost of this check is pretty high,
> and the number of times it's likely to cause a problem is pretty low, so
> the check is not high-value, but it is high cost.

ACT of course has to primarily respond to their paying customers.
In that sense, defaulting the check to off is a punishment imposed
on those who don't read the manual.

        >>> No, the real punishment for use paying customers who don't RTFM
is to
        >>> listen to Robert "remind" you of that fact. :-0)

If the paying customers like it that way, so be it.  :-)