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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.36.16.21 with SMTP id 21mr15338411ity.37.1517150730336;
        Sun, 28 Jan 2018 06:45:30 -0800 (PST)
X-Received: by 10.157.65.183 with SMTP id p52mr1333327ote.3.1517150730001;
 Sun, 28 Jan 2018 06:45:30 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer03.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!w142no481029ita.0!news-out.google.com!b73ni2291ita.0!nntp.google.com!g80no477196itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 28 Jan 2018 06:45:29 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=82.154.191.4;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 82.154.191.4
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b7590929-1b5f-4e14-b689-c86999142749@googlegroups.com>
Subject: discontinuous subtype without aspect
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Sun, 28 Jan 2018 14:45:30 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1699
X-Received-Body-CRC: 1030495326
Xref: reader02.eternal-september.org comp.lang.ada:50195
Date: 2018-01-28T06:45:29-08:00
List-Id: <comp.lang.ada>

I'm happy that non continuous index subtypes will be allowed,
but I wonder why 
subtype S is T with STATIC_PREDICATE S in Val1|Val5..Val7
has been favored instead of plain:
subtype S is T range Val1|Val5..Val7 ?
It's not an already used syntax though.
Same thing here:
If Index has some static predicate, Squares_Array : Array_Type := (for I in Index => I * I); will iterate on in a non continuous way,
but why not Squares_Array : Array_Type := (for I in Val1..Val3|Val5 => I * I);
It would be a lot nicer, and '|' as far as I understood has close to one meaning or semantic wherever it's used, be it exception handlers and or case selection choices.