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!news4.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 03 Jul 2006 18:52:46 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <12ad8guf3sg1o0d@corp.supernews.com>
 <1loq7utmaxvll$.yqsxj5edzqgv.dlg@40tude.net>
 <12afs64kh432q0e@corp.supernews.com>
 <t7hmlpeqyass.1fjxzy2pl8z82$.dlg@40tude.net>
 <12aihj2lrjqpc3a@corp.supernews.com>
Subject: Re: Constant record components
Date: Mon, 3 Jul 2006 18:53:30 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1807
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1807
Message-ID: <7bednaJHX_FTMDTZnZ2dnUVZ_uudnZ2d@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-q8uIwq8uzlDiKixQ3JkvfRcqFTUo/6zn11EUTMiTPMZRmaHNtRLm8FRDrpQvGsRWDwR3mZt0cLf1faB!6ddqf8U3TDdbKWNi1mGeHUhv2AVEsgRyRSKWuv+sl6j8U/WQq550iB74wmvqrx0MRVfoXo48TQQM!NheVKtmqlQmgyg==
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news2.google.com comp.lang.ada:5445
Date: 2006-07-03T18:53:30-05:00
List-Id: <comp.lang.ada>

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