comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Constant record components
Date: Thu, 6 Jul 2006 17:29:24 -0500
Date: 2006-07-06T17:29:24-05:00	[thread overview]
Message-ID: <ObSdnQYngMQKEzDZnZ2dnUVZ_oadnZ2d@megapath.net> (raw)
In-Reply-To: p6fi8e.de4.ln@hunter.axlog.fr

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

"Jean-Pierre Rosen" <rosen@adalog.fr> wrote in message
news:p6fi8e.de4.ln@hunter.axlog.fr...
> Randy Brukardt a �crit :
> >
> > I can say that the notion that something declared "constant" could in
fact
> > be assigned to in some scope is rather disgusting. I don't think it
would
> > fly.
> >
> Hmmm.... Initialization of controlled constants?

After initialization, of course. (Constants are assign-once, logically.
Assign-never would be a problem, because they'd have no value at all in that
case!) And similarly, before finalization (although it shouldn't really be
necessary to clear the finalized result -- but it is often done, and
harmless to do).

Still, allowing the assignment of a name that is declared to be a constant
view at some point between initialization and finalization would be a nasty
change to the language. (Note that it might be possible to assign via a
different name; that's a different issue -- and one that is usually a
programming error.) Otherwise, "constant" would essentially be
meaningless -- bringing us back to the beginning; if it doesn't mean
anything, why bother with it at all?

                                    Randy.





  reply	other threads:[~2006-07-06 22:29 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <12ad8guf3sg1o0d@corp.supernews.com>
2006-07-01 17:06 ` Constant record components Dmitry A. Kazakov
2006-07-01 17:37   ` ME
2006-07-01 18:33     ` Georg Bauhaus
2006-07-01 21:44       ` Jeffrey R. Carter
2006-07-02  9:18         ` Georg Bauhaus
2006-07-02 16:13   ` ME
2006-07-03  7:50     ` Dmitry A. Kazakov
2006-07-03 11:46       ` Craig Carey
2006-07-04  0:06         ` M E Leypold
2006-07-03 16:31       ` ME
2006-07-03 23:53         ` Randy Brukardt
2006-07-04  1:59           ` Craig Carey
2006-07-04  7:25           ` ME
2006-07-05 21:55             ` Randy Brukardt
2006-07-06  0:59               ` tmoran
2006-07-06  7:47               ` Jean-Pierre Rosen
2006-07-06 22:29                 ` Randy Brukardt [this message]
2006-07-07  4:34                   ` Jeffrey R. Carter
2006-07-07  5:39                   ` ME
2006-07-07  9:15                     ` Georg Bauhaus
2006-07-08 16:13                       ` ME
2006-07-08 17:14                         ` Georg Bauhaus
2006-07-13  6:58                           ` ME
2006-07-13  8:39                             ` Georg Bauhaus
2006-07-07 21:04                     ` Randy Brukardt
2006-07-14  8:15                       ` Craig Carey
2006-07-14 12:51                         ` Craig Carey
2006-07-15  3:45                           ` ME
2006-07-04  0:08         ` M E Leypold
2006-07-02  5:52 ` Craig Carey
replies disabled

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