comp.lang.ada
 help / color / mirror / Atom feed
From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Renaming vs assignment to constant
Date: Fri, 6 Dec 2013 17:55:46 -0800 (PST)
Date: 2013-12-06T17:55:46-08:00	[thread overview]
Message-ID: <c97e9d8a-118a-4080-9c22-945b0629fe07@googlegroups.com> (raw)
In-Reply-To: <l7tr79$oc8$1@loke.gir.dk>

On Friday, December 6, 2013 5:47:37 PM UTC-7, Randy Brukardt wrote:
> <adambeneschan> wrote in message 
> 
> >(Technically, I think Time renames an anonymous object 
> >created by the compiler
> >to hold the function result, although it seems like incorrect English to 
> >talk about "renaming"
> >something that didn't have a name in the first place.)
> 
> Be glad that we didn't introduce named anonymous access types. :-) [We 
> seriously considered that, to allow named types with dynamic accessibility 
> and the special anonymous access-to-subprogram rules, but decided it was 
> just too weird.]

That could actually be quite useful in very specific cases; especially since only anonymous access types can be used in discriminants to parametrize [types] on non-scalar values.

But it would likely make accessibility checks worse for that little increase in functionality.

  reply	other threads:[~2013-12-07  1:55 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-12-06 15:14 Renaming vs assignment to constant Simon Wright
2013-12-06 16:09 ` Jeffrey Carter
2013-12-06 18:03   ` AdaMagica
2013-12-06 18:24     ` Jeffrey Carter
2013-12-06 16:47 ` adambeneschan
2013-12-06 18:06   ` Eryndlia Mavourneen
2013-12-07  0:47   ` Randy Brukardt
2013-12-07  1:55     ` Shark8 [this message]
2013-12-06 18:35 ` G.B.
2013-12-06 20:07   ` adambeneschan
2013-12-06 21:59 ` Shark8
2013-12-06 23:48   ` adambeneschan
2013-12-07  1:04     ` Shark8
2013-12-07  1:26       ` adambeneschan
2013-12-07  6:17       ` J-P. Rosen
2013-12-07  6:22         ` J-P. Rosen
2013-12-07  8:57   ` Dmitry A. Kazakov
2013-12-07  9:02     ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox