Re: Ada95 to ANSI_C converter

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Jon said

<<Emphasis mine.  I read "to catch overflows efficiently" as being
interchangeable with "to avoid inefficiencies in catching overflows".
I think Bob has already agreed with this, but that he meant to also
say he didn't really know for sure if it worked.>>

incidentally I definitely see how you could read Bob's statement the
way you did, rereading it. I guess the reason I did not read it that
way was because I knew that would be a completely false implication,
and I assumed, perhaps too charitably, that no one would make the 
claim that it would be possible to eliminate the penalty for overflow
checking when generating C :-)

You on the other hand, I guess really wanted it to be possible to 
generate efficient C, so you were happy to read it more optimistically.
Just goes to show that it is not easy to be 100% clear in email!