comp.lang.ada
 help / color / mirror / Atom feed
From: "ME" <abcdefg@nonodock.net>
Subject: Re: Constant record components
Date: Tue, 4 Jul 2006 00:25:12 -0700
Date: 2006-07-04T00:25:12-07:00	[thread overview]
Message-ID: <12ak5urrrj6d756@corp.supernews.com> (raw)
In-Reply-To: 7bednaJHX_FTMDTZnZ2dnUVZ_uudnZ2d@megapath.net

Randy,

What was the rationale behind prohibiting constant record components?
"Randy Brukardt" <randy@rrsoftware.com> wrote in message 
news:7bednaJHX_FTMDTZnZ2dnUVZ_uudnZ2d@megapath.net...
> "ME" <abcdefg@nonodock.net> wrote in message
> news:12aihj2lrjqpc3a@corp.supernews.com...
> ...
>> Yes, why not. Anyway , discriminants allow a type of constant component 
>> so
>> the mechanism is possible.
>
> Discriminants are limited to elementary types, so the issues don't come 
> up.
> (There are no controlled elementary types.) But it would be very odd to
> limit constant components to elementary types; it would appear to users to
> be a bug in the language.
>
> So the existence of discriminants don't prove much about the feasibility 
> of
> constant record components.
>
>                    Randy.
>
> 





  parent reply	other threads:[~2006-07-04  7:25 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 [this message]
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
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