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.237.57.138 with SMTP id m10mr1667366qte.27.1482361347764; Wed, 21 Dec 2016 15:02:27 -0800 (PST) X-Received: by 10.157.1.105 with SMTP id 96mr753495otu.5.1482361347723; Wed, 21 Dec 2016 15:02:27 -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!news.glorb.com!n6no1770143qtd.0!news-out.google.com!c1ni5468itd.0!nntp.google.com!b123no2536755itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 21 Dec 2016 15:02:27 -0800 (PST) In-Reply-To: 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: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada 2012 Constraints (WRT an Ada IR) From: Shark8 Injection-Date: Wed, 21 Dec 2016 23:02:27 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:32941 Date: 2016-12-21T15:02:27-08:00 List-Id: On Wednesday, December 21, 2016 at 3:03:30 PM UTC-7, Randy Brukardt wrote: > [Breaking the thread yet again because of too many replies. Sorry.] > > "Dmitry A. Kazakov" wrote in message > > On 2016-12-21 01:59, Randy Brukardt wrote: > ... > >> One certainly can reason about it. > > > > You can tell nothing about such subsets, they are general case subsets. > > I suspect that most mathematicians would be surprised to hear that. :-) I certainly am. In fact it seems so foundational; that 'absurd' seems to fit well. > > > They are worse than that, if the constraint is allowed to use non-local > > dynamic Boolean functions. That would produce non-sets. > > As I clearly said before, static_prediates require very restricted > expressions that correspond to a compile-time known set. No dynamic anything > is allowed (nor are any function calls), which should be obvious from the > name alone. Well, we obviously can't rely on the LRM's definitions, as exemplified upthread... what makes us think we could rely on mathematics? ;)