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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.36.81.149 with SMTP id s143mr1052321ita.30.1481667197714;
        Tue, 13 Dec 2016 14:13:17 -0800 (PST)
X-Received: by 10.157.17.3 with SMTP id g3mr6526172ote.8.1481667197666; Tue,
 13 Dec 2016 14:13:17 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder3.usenet.farm!2.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!nntp.giganews.com!p16no6368962qta.1!news-out.google.com!m27ni18459qtf.1!nntp.google.com!p16no6368958qta.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 13 Dec 2016 14:13:17 -0800 (PST)
In-Reply-To: <o2po6a$1hnq$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=67.0.242.189;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 67.0.242.189
References: <c06ee4e6-d616-4e01-ba2e-cb111a81f6f6@googlegroups.com>
 <47366b42-c0a3-41bf-a44a-5241c109d60f@googlegroups.com>
 <alpine.DEB.2.20.1612050922450.22845@debian>
 <o23a8a$11e9$1@gioia.aioe.org> <o24om5$vfr$1@franka.jacob-sparre.dk>
 <o24phv$1ou6$1@gioia.aioe.org> <o27gpr$o8k$1@franka.jacob-sparre.dk>
 <o28non$1fn8$1@gioia.aioe.org> <o2a2ad$vnp$1@franka.jacob-sparre.dk>
 <o2b79r$1dit$1@gioia.aioe.org> <o2b9rg$ejl$1@dont-email.me>
 <o2bb4o$1jpb$1@gioia.aioe.org> <o2c93i$rpp$2@dont-email.me>
 <o2du2t$1ghu$1@gioia.aioe.org> <o2jcpd$75p$1@dont-email.me>
 <o2jgom$18jg$1@gioia.aioe.org> <o2jkdm$bt$1@dont-email.me>
 <o2js2d$1qh4$1@gioia.aioe.org> <o2ke6d$gcs$1@dont-email.me>
 <o2ln13$et0$1@gioia.aioe.org> <o2mfpc$ttp$1@dont-email.me>
 <o2mncc$gjn$1@gioia.aioe.org> <o2mroh$dsk$1@dont-email.me>
 <o2n2o1$1515$1@gioia.aioe.org> <o2o73n$ci1$1@dont-email.me>
 <o2obed$qkk$1@gioia.aioe.org> <o2oj2u$i8h$1@dont-email.me>
 <o2olfi$1ca9$1@gioia.aioe.org> <o2p9bb$bcf$1@dont-email.me>
 <o2po6a$1hnq$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <999c67b0-4478-4d2b-8108-32ac48fe6316@googlegroups.com>
Subject: Re: Ada 2012 Constraints (WRT an Ada IR)
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Tue, 13 Dec 2016 22:13:17 +0000
Content-Type: text/plain; charset=UTF-8
Xref: news.eternal-september.org comp.lang.ada:32791
Date: 2016-12-13T14:13:17-08:00
List-Id: <comp.lang.ada>

On Tuesday, December 13, 2016 at 2:11:42 PM UTC-7, Dmitry A. Kazakov wrote:
> On 2016-12-13 17:59, G.B. wrote:
> > On 13/12/2016 12:19, Dmitry A. Kazakov wrote:
> >> On 13/12/2016 11:39, G.B. wrote:
> >> Being a part of the body it does not belong to declarations.
> >
> > Right, Pre aspects are *not* body!
> 
> They are being executed at run time.

So?
The construct "Procedure X( Y: Positive );" has to have Y checked at runtime in the general case. (Yes, it can be optimized out IFF the compiler can prove that all call-sites are already of subtype Positive.)


> >>>> It is an explicit contract.
> >>>
> >>> Can you make it a Boolean expression?
> >>
> >> That depends on the language in question. It is not an expression in
> >> Ada and cannot be made one.
> >
> > Please, it's simple, actually,
> 
> It is a predicate which has nothing to do with Ada's Boolean expression 
> you wrote. See another post in this thread.

Ok, I'm looking at the original post... it's another post, and on this thread, but doesn't really seem germane to the point you're trying to make.  ;)