comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Status of AdaControl
Date: Mon, 10 May 2021 09:44:35 +0200	[thread overview]
Message-ID: <s7ao93$maf$1@dont-email.me> (raw)
In-Reply-To: <1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com>

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

      reply	other threads:[~2021-05-10  7:44 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-03-26 17:14 Status of AdaControl J-P. Rosen
2021-03-26 21:13 ` Simon Wright
2022-03-24 19:05   ` Thomas
2022-03-24 20:36     ` Simon Wright
2021-03-26 21:25 ` Niklas Holsti
2021-05-09 20:41 ` Gautier write-only address
2021-05-09 23:13   ` Bill Findlay
2021-05-10  4:34     ` Gautier write-only address
2021-05-10  7:44       ` Jeffrey R. Carter [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox