From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,75ffc1f081ec10e3
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!atl-c05.usenetserver.com!news.usenetserver.com!peer01.west.cox.net!cox.net!newshub.sdsu.edu!tethys.csu.net!nntp.csufresno.edu!sn-xt-sjc-03!sn-xt-sjc-07!sn-post-sjc-02!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mail
From: "ME" <abcdefg@nonodock.net>
Newsgroups: comp.lang.ada
Subject: Re: Constant record components
Date: Tue, 4 Jul 2006 00:25:12 -0700
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <12ak5urrrj6d756@corp.supernews.com>
References: <12ad8guf3sg1o0d@corp.supernews.com>
 <1loq7utmaxvll$.yqsxj5edzqgv.dlg@40tude.net>
 <12afs64kh432q0e@corp.supernews.com>
 <t7hmlpeqyass.1fjxzy2pl8z82$.dlg@40tude.net>
 <12aihj2lrjqpc3a@corp.supernews.com>
 <7bednaJHX_FTMDTZnZ2dnUVZ_uudnZ2d@megapath.net>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.2869
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2869
X-Complaints-To: abuse@supernews.com
Xref: g2news2.google.com comp.lang.ada:5454
Date: 2006-07-04T00:25:12-07:00
List-Id: <comp.lang.ada>

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.
>
>