Re: Ada 2012 Constraints (WRT an Ada IR)

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:o2tlcd$1aro$2@gioia.aioe.org...
> On 14/12/2016 23:40, Randy Brukardt wrote:
>> [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.
>
> And semantically all this is a part of the body.

I just quoted the rules in the RM that say specifically that it is not part 
of the body. You STILL deny that's true?? If you're redefining the meaning 
of "semantics" or "body" to suit your own world view, then it is essentially 
impossible to talk with you about Ada (one never knows when you're using a 
term in some sense other than its RM definition).

                                             Randy.