From: Mehdi Saada <00120260a@gmail.com>
Subject: specifying only 'First of an index in an array
Date: Wed, 3 Feb 2021 09:47:14 -0800 (PST) [thread overview]
Message-ID: <81d3d242-1bb8-48fb-8bd4-f236447c0a00n@googlegroups.com> (raw)
Is there a way, on nominal or genetic array type definition (I mean in generic specifications), to ensure that Index_type'First is always the same, but that arrays can still grow ?
something like (certainly wrong): type my_type is array (Scalar_type range scalar_type'first..<>) ?
That or I suppose I can wrap a function around that type and make it private to avoid range incompatibilities...
next reply other threads:[~2021-02-03 17:47 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-03 17:47 Mehdi Saada [this message]
2021-02-03 19:29 ` specifying only 'First of an index in an array Jeffrey R. Carter
2021-02-03 21:06 ` Mehdi Saada
2021-02-03 21:45 ` Jeffrey R. Carter
2021-02-03 22:15 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox