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.107.138.37 with SMTP id m37mr493468iod.90.1521193989157; Fri, 16 Mar 2018 02:53:09 -0700 (PDT) X-Received: by 2002:a9d:5:: with SMTP id 5-v6mr58685ota.0.1521193988939; Fri, 16 Mar 2018 02:53:08 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!e10-v6no411615itf.0!news-out.google.com!h73-v6ni683itb.0!nntp.google.com!e10-v6no411612itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 16 Mar 2018 02:53:08 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=20.133.40.13; posting-account=YRfoYAoAAADhSEO2nLYx10QUUvp8akYl NNTP-Posting-Host: 20.133.40.13 References: <365d65ea-5f4b-4b6a-be9b-1bba146394ab@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada case-statement From: Stephen Davies Injection-Date: Fri, 16 Mar 2018 09:53:09 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:51024 Date: 2018-03-16T02:53:08-07:00 List-Id: On Thursday, 15 March 2018 22:24:08 UTC, Randy Brukardt wrote: > Stephen Davies wrote in message > > Unless this has changed in more recent compilers, the static predicate > > when Sat & Sun are not contiguous does not work. Gnatpro 7.0.2 complains > > about missing values. Also, attempting to use "when Weekend_Subtype" in > > the outer case-statement results in complaints about duplicate values. > It should have changed, there are a number of ACATS tests checking precisely > this sort of thing. So far as I know, GNAT passes those tests. (And GNATPro > 7.0.2 is a looonnnng time ago, based on the ACATS tests I wouldn't expect > much of any Ada 2012 features to work in that. I'd guess this would work in > all of the ones I've used recently: 7.4.1, 17.1, and 18.1.) Fair enough, that's one less justification for my proposal :-(