From: Shark8 <onewingedshark@gmail.com>
Subject: Re: How to access an array using two different indexing schemes
Date: Thu, 30 Nov 2017 11:43:42 -0800 (PST)
Date: 2017-11-30T11:43:42-08:00 [thread overview]
Message-ID: <ed357f21-d318-4768-a756-b86e9532a1ae@googlegroups.com> (raw)
In-Reply-To: <ovpmb7$o7j$1@dont-email.me>
On Thursday, November 30, 2017 at 12:31:53 PM UTC-7, G. B. wrote:
> AdaMagica wrote:
> > Am Donnerstag, 30. November 2017 15:47:40 UTC+1 schrieb Niklas Holsti:
> >> Perhaps the next Ada revision could extend 4.6(5/2) to include a type
> >> conversion in a renaming, as a view conversion?
> >
> > I sent this request to Ada Comment.
> >
>
> Isn‘t a type conversion potentially copying?
Perhaps, but a renaming [of extant data] shouldn't be... Especially in this particular case since we have bounds-sliding anyways.
What is wanted here is a View Conversion, not really a Type Conversion.
next prev parent reply other threads:[~2017-11-30 19:43 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-24 11:42 How to access an array using two different indexing schemes Jerry
2017-11-24 12:33 ` Jeffrey R. Carter
2017-11-24 15:52 ` AdaMagica
2017-11-24 22:25 ` Jerry
2017-11-25 13:57 ` AdaMagica
2017-11-24 22:23 ` Jerry
2017-11-25 15:39 ` Robin
2017-11-25 20:58 ` Jerry
2017-11-26 10:22 ` Robin
2017-11-28 21:57 ` G. B.
2017-11-24 17:37 ` A. Cervetti
2017-11-24 21:48 ` Jerry
2017-11-24 22:15 ` Robert A Duff
2017-11-24 23:38 ` Jerry
2017-11-26 1:07 ` Jerry
2017-11-26 8:58 ` Dmitry A. Kazakov
2017-11-26 10:31 ` Jerry
2017-11-28 1:31 ` Randy Brukardt
2017-11-28 1:25 ` Randy Brukardt
2017-11-29 4:57 ` Jerry
2017-11-29 15:01 ` AdaMagica
2017-11-29 15:21 ` AdaMagica
2017-11-30 5:32 ` Jerry
2017-11-30 5:30 ` Jerry
2017-11-29 15:03 ` AdaMagica
2017-11-29 20:53 ` Randy Brukardt
2017-11-29 16:03 ` Shark8
2017-11-29 17:04 ` AdaMagica
2017-11-29 20:56 ` Randy Brukardt
2017-11-30 5:56 ` Jerry
2017-11-30 11:11 ` AdaMagica
2017-11-30 11:40 ` AdaMagica
2017-11-30 14:47 ` Niklas Holsti
2017-11-30 17:30 ` AdaMagica
2017-11-30 19:31 ` G. B.
2017-11-30 19:43 ` Shark8 [this message]
2017-11-30 22:10 ` Randy Brukardt
2017-11-30 21:57 ` Randy Brukardt
2017-11-30 22:49 ` Jerry
2017-11-30 23:00 ` Jerry
2017-11-30 21:50 ` Randy Brukardt
2017-11-30 23:13 ` Jerry
2017-11-24 18:37 ` Per Sandberg
2017-11-24 21:28 ` Jerry
2017-11-24 21:40 ` Dmitry A. Kazakov
2017-11-28 1:33 ` Randy Brukardt
2017-11-24 22:12 ` Robert A Duff
2017-11-28 1:39 ` 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