comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Generic access type convention and aliasing
Date: Mon, 6 May 2013 19:56:34 -0500
Date: 2013-05-06T19:56:34-05:00	[thread overview]
Message-ID: <km9jg4$eue$1@munin.nbi.dk> (raw)
In-Reply-To: op.wwneq7xtule2fv@cardamome

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 781 bytes --]

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.wwneq7xtule2fv@cardamome...
>I also wished I could specify it must be a limited access type. Out of 
>curiosity, I searched the web on this topic, and found this was already 
>proposed. See this AI:
>
>http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0142-2.txt?rev=1.3
>
>The status is "Work item".

No, it's "No Action". This was a discarded alternative to what eventually 
was implemented with explicitly aliased parameters and generalized 
references. We eventually realized that access discriminants already had the 
correct semantics so we didn't need a new feature for that.

So I wouldn't wait for any implementation of this proposal. :-)

                                     Randy.




  reply	other threads:[~2013-05-07  0:56 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-05-06  0:20 Generic access type convention and aliasing Yannick Duchêne (Hibou57)
2013-05-06  5:55 ` Yannick Duchêne (Hibou57)
2013-05-07  0:56   ` Randy Brukardt [this message]
2013-05-07  6:02     ` Yannick Duchêne (Hibou57)
2013-05-07  6:42       ` Yannick Duchêne (Hibou57)
2013-05-07 17:34       ` AdaMagica
2013-05-07 19:08         ` Yannick Duchêne (Hibou57)
2013-05-07 21:03           ` Jacob Sparre Andersen news
2013-05-07 22:13             ` Yannick Duchêne (Hibou57)
2013-05-08 11:28               ` Yannick Duchêne (Hibou57)
2013-05-08 20:44               ` 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