comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Comparing Access Types
Date: Tue, 21 Nov 2017 09:57:05 +0100
Date: 2017-11-21T09:57:05+01:00	[thread overview]
Message-ID: <ov0pp1$1rlu$1@gioia.aioe.org> (raw)
In-Reply-To: 0709f97b-a32c-41c6-9e5d-ccabaae14274@googlegroups.com

On 21/11/2017 01:30, Shark8 wrote:
> On Monday, November 20, 2017 at 3:25:48 PM UTC-7, Randy Brukardt wrote:
>>
>> In Ada 95, of course, we
>> have Access_to_Address_Conversions (or is that
>> Address_to_Access_Conversions - never remember which... :-) Still, getting
>> people to use that is like pulling their teeth.
> 
> Why do you think that is? I use it when I need it, although very 
> infrequently,

It is quite unavoidable when using C bindings. Or else, for X'Address 
use, which is less welcome I guess.

> it's pretty much purpose-built to do that (it's in the 
> name, after all).

It has a nasty issue that you cannot pass your own access type. It is 
clear that not any access type could be acceptable. The implementation 
should be free to reject some upon instantiation.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2017-11-21  8:57 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-11-09  5:37 Comparing Access Types Jere
2017-11-09  8:29 ` Simon Wright
2017-11-09  8:33 ` Dmitry A. Kazakov
2017-11-09 22:38   ` Robert A Duff
2017-11-10  8:35     ` Dmitry A. Kazakov
2017-11-10 15:11       ` Jere
2017-11-10 16:05       ` Robert A Duff
2017-11-10 16:30         ` Robert A Duff
2017-11-16  1:17           ` Randy Brukardt
2017-11-18 22:01             ` Robert A Duff
2017-11-20 22:25               ` Randy Brukardt
2017-11-21  0:30                 ` Shark8
2017-11-21  8:57                   ` Dmitry A. Kazakov [this message]
2017-11-22  1:01                     ` Randy Brukardt
2017-11-10 15:20     ` Jere
2017-11-10 16:00       ` Robert A Duff
2017-11-10 16:22         ` Jere
2017-11-10 15:06   ` Jere
2017-11-16  1:21     ` Randy Brukardt
2017-11-16  1:13 ` 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