From: Shark8 <OneWingedShark@gmail.com>
Subject: Static_Predicate on array-types.
Date: Thu, 17 Jul 2014 13:43:16 -0600
Date: 2014-07-17T13:43:16-06:00 [thread overview]
Message-ID: <qHVxv.59529$bf2.56097@fx24.iad> (raw)
Is there any particular reason why we cannot put static-predicates on an
array-type, such as (e.g.) to ensure that some condition always holds?
Example, we want an unbounded array, but to ensure the first index is
always 1:
Type One_Based_Vector is Array(Positive Range <>) of Integer
with Static_Predicate => One_Based_Vector'First = 1;
next reply other threads:[~2014-07-17 19:43 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-17 19:43 Shark8 [this message]
2014-07-18 22:05 ` Static_Predicate on array-types Robert A Duff
2014-07-21 22:35 ` 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