From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Array type conversion
Date: Fri, 18 Oct 2002 14:59:22 GMT
Date: 2002-10-18T14:59:22+00:00 [thread overview]
Message-ID: <wccu1jjrdx1.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: aoo3h9$s7u$1@news.chatlink.com
"Keith" <nono@joimail.net> writes:
> What is the implementation consequence of not following Ada reference
> manual section 4.6 12/1 "The component subtypes shall statically match"?
...
> I know that if the component subtypes have to statically match in an array
> conversion then there is no need to check for matching constraints at run
> time like Ada 83. Does this speed up execution?
Yeah, but I think the main reason was to catch bugs at compile time
rather than run time. There are several similar cases in Ada 95,
where a run-time check in Ada 83 was changed to a static check in Ada
95.
There might have been some other issue related to passing type
conversions as 'out' parameters, especially when the type is limited,
so the conversion cannot be implemented by copying. I'm not sure
about that, and I don't feel like thinking about it right now. ;-)
- Bob
prev parent reply other threads:[~2002-10-18 14:59 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-10-18 4:43 Array type conversion Keith
2002-10-18 6:55 ` Jean-Pierre Rosen
2002-10-18 15:15 ` Robert A Duff
2002-10-19 3:27 ` Keith
2002-10-18 14:59 ` Robert A Duff [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox