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!.POSTED!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Mariner 1 / FORTRAN bug Date: Fri, 9 Aug 2019 17:57:31 +0200 Organization: Also freenews.netfront.net; news.tornevall.net; news.eternal-september.org 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 Injection-Date: Fri, 9 Aug 2019 15:57:32 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="c3bfd0e20a87e3114bfe23f37c4ab7b0"; logging-data="18473"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+dEzwI4eHzlcyWHG9uVBMC2WaNHADdtN0=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 Cancel-Lock: sha1:Dccrk0r3tENtKKTnHqjKNVZEBVw= In-Reply-To: Content-Language: en-US Xref: reader01.eternal-september.org comp.lang.ada:57020 Date: 2019-08-09T17:57:31+02:00 List-Id: On 8/9/19 8:47 AM, Niklas Holsti wrote: > 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 AIUI, a single-character error in a language design is one that is possible regardless of the developer's choice of identifiers. By that criterion, this is not a single-character error in the language design. Compare it to =/== in C and its descendants. -- Jeff Carter "[A] brilliant military career that after thirty years catapulted him to the rank of corporal." Take the Money and Run 138