* Robert Dewar: > Making programs bug free has more to it than understanding the language > you are writing in, but it is a useful step forward to avoid problems > that come from simply not knowing the rules of the language you are > writing in (I can't guarantee that GNAT is bug free in that regard, > but I can't remember a case where a bug stemmed from this source).
There was some dependency on argument order evaluation in GNAT, but this was part of GIGI, so it's not the best example.
