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,XPRIO
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
Date: Wed, 14 Dec 2016 16:40:15 -0600
Organization: JSA Research & Innovation
Message-ID: <o2shog$l72$2@franka.jacob-sparre.dk>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1481755216 21730 24.196.82.226 (14 Dec 2016
 22:40:16 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 14 Dec 2016 22:40:16 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-RFC2646: Format=Flowed; Original
Xref: news.eternal-september.org comp.lang.ada:32834
Date: 2016-12-14T16:40:15-06:00
List-Id: <comp.lang.ada>

[Yet again had to break the thread because the thread has gotten too long to 
reply to - RLB]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:o2s8l1$1fef$1@gioia.aioe.org...
> On 2016-12-14 20:23, Shark8 wrote:
...
>> You are observably wrong.
>> If you supply a negative number, the body of X never executes.
>
> Of course it does. Semantically any effect of a call to X is due to X's
> body. There is nothing else there.

This is clearly false. The definition of the execution of a subprogram call
(RM 6.4(10/2)) specifically says that the parameter associations are
evaluated before the subprogram body is executed. 6.4.1 says that evaluation
of the parameter associations include the conversion to the formal subtype -
that conversion does the check that raises Constraint_Error.

One of the reasons that we get into these extended arguments is that you
insist on inventing a model of semantics which is different than Ada's. So
most of us discuss things as they are, and you are discussing something
totally different but using the same terminology. No wonder most of us are
confused by what you say.

                                                   Randy.