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=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:a05:620a:16ad:: with SMTP id s13mr20539344qkj.453.1620621278177; Sun, 09 May 2021 21:34:38 -0700 (PDT) X-Received: by 2002:a25:2fd6:: with SMTP id v205mr7841129ybv.92.1620621277999; Sun, 09 May 2021 21:34:37 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 9 May 2021 21:34:37 -0700 (PDT) In-Reply-To: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net> Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4564:bea0:d5ee:f22:b1fe:bd4a; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 2a02:1206:4564:bea0:d5ee:f22:b1fe:bd4a References: <0001HW.2648A414003ADC4D70000A31138F@news.individual.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1206383a-6caa-4193-8409-697b020949c8n@googlegroups.com> Subject: Re: Status of AdaControl From: Gautier write-only address Injection-Date: Mon, 10 May 2021 04:34:38 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:61970 List-Id: > 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.