Re: seperate keyword and seperate compilation with Gnat?

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <dewar.837148752@schonberg>, dewar@cs.nyu.edu (Robert Dewar) writes: 

|> For example, suppose someone starts worrying whether it is valid to
|> compute a + b as (4 * a + b - 3 * a), which could raise intermediate
|> overflow.
|>
|> The answer is of course that of course this is invalid (to raise the
|> intermediate overflow because of using such a scheme).

I presume you mean that it is invalid to compute a+b this way because of
the potential overflow, and not that it is invalid to raise an exception
because of the overflow.

--
Norman H. Cohen    ncohen@watson.ibm.com