From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.unit0.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Niklas Holsti Newsgroups: comp.lang.ada Subject: Re: Mariner 1 / FORTRAN bug Date: Fri, 9 Aug 2019 09:47:11 +0300 Organization: Tidorum Ltd Message-ID: References: <1992Dec4.141816.1@happy.colorado.edu> <86986725-f34e-46d7-9efc-d15d94379048@googlegroups.com> <97509e4d-05b9-4b6a-ab12-613abbe562b0@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Trace: individual.net j2qPFb36CSeYGUa2/pBQtA/2YgYGJmdTNkeejER3PZJQmZJ+mk Cancel-Lock: sha1:0I1Qm2IldyEhbIKK4IpH5AFIzcY= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 In-Reply-To: Xref: reader01.eternal-september.org comp.lang.ada:57016 Date: 2019-08-09T09:47:11+03:00 List-Id: On 19-08-09 09:28 , J-P. Rosen wrote: > Le 09/08/2019 à 03:57, robin.vowels@gmail.com a écrit : >>> While it probably didn't cause the failure of a space probe, people >>> did get bitten by this language design flaw, which is an example of a >>> single-character error (added, omitted, or changed) that results in valid >>> code. >> Single-character errors are still possible, whatever the language. >> > Of course, you can type "-" instead of "+" in any language. > > But outside of mathematical formulas, can you give an example of > single-character error in Ada? I once declared a record type that contained a component, aptly (I thought) called Address, of type System.Address. Then, in a certain statement dealing with a record object R of that type, I mistakenly wrote R'Address when I meant R.Address Silly me. I now have a personal coding rule: never use the name Address for a record component of type System.Address. Perhaps this should be expanded to forbid using any record-attribute name as a component name; for example, Size. -- Niklas Holsti Tidorum Ltd niklas holsti tidorum fi . @ .