From: Mehdi Saada <00120260a@gmail.com>
Subject: discontinuous subtype without aspect
Date: Sun, 28 Jan 2018 06:45:29 -0800 (PST)
Date: 2018-01-28T06:45:29-08:00 [thread overview]
Message-ID: <b7590929-1b5f-4e14-b689-c86999142749@googlegroups.com> (raw)
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.
next reply other threads:[~2018-01-28 14:45 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-28 14:45 Mehdi Saada [this message]
2018-01-29 23:24 ` discontinuous subtype without aspect Randy Brukardt
2018-01-30 17:31 ` Mehdi Saada
2018-01-30 18:15 ` Dmitry A. Kazakov
2018-01-30 22:09 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox