So, I am switching my loop variants ("i" in this case) to integers. Here
is convincing evidence. ;-)http://archive.eiffel.com/doc/faq/variant.html I recently met a guy at SacJUG who lived next door to Bertrand Meyer! He said he might be able to convince him to come and speak here in the Sacramento Area. Would that be cool or what?!!! Of course, if I had used Eiffel for this program, I could have put an invariant condition on i, such that it is never less than zero greater than the number of elements in the array. brian -- Brian Lavender http://www.brie.com/brian/ "For every complex problem there is an answer that is clear, simple, and wrong." - H. L. Mencken _______________________________________________ vox-tech mailing list [email protected] http://lists.lugod.org/mailman/listinfo/vox-tech
