From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Status of AdaControl Date: Mon, 10 May 2021 09:44:35 +0200 Organization: Also freenews.netfront.net; news.tornevall.net; news.eternal-september.org Message-ID: References: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net> <1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 10 May 2021 07:44:35 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="6d77967f0596425132aa998f8ac45bee"; logging-data="22863"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+kAAKIzNFvQcWxMEQbQIKPGK5D7n1Xhnw=" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 Cancel-Lock: sha1:BdbqgZkNBLMv6Ba98xcdq76vm3A= In-Reply-To: <1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com> Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:61971 List-Id: On 5/10/21 6:34 AM, Gautier write-only address wrote: >> If the body of the loop is executed when a>b then the language >> of the "dialect or implementation" is quite simply not Pascal. > > Since it would be difficult for me to dig out each and every Pascal compiler I've used in order to check that point, I have removed the reference to Pascal. /Pascal User Manual and Report/ (Jensen and Wirth) explicitly defines the for statement as skipping the repeated statement if a > b (for "to"; a < b for "downto"). -- Jeff Carter "Insufficient laughter--that's grounds for divorce." Play It Again, Sam 126