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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ec264956a9d7e36a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-11 18:21:40 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: dewar@gnat.com (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: Restrictions on compilers for Microsoft's .NET project
Date: 11 Feb 2002 18:21:39 -0800
Organization: http://groups.google.com/
Message-ID: <5ee5b646.0202111821.4dba9889@posting.google.com>
References: <2sk5nInklHl1@eisner.encompasserve.org>
 <uzo2geyyf.fsf@gsfc.nasa.gov> <3C681C25.6356CAF3@west.raytheon.com>
NNTP-Posting-Host: 205.232.38.244
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1013480499 21374 127.0.0.1 (12 Feb 2002 02:21:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 12 Feb 2002 02:21:39 GMT
Xref: archiver1.google.com comp.lang.ada:19896
Date: 2002-02-12T02:21:39+00:00
List-Id: <comp.lang.ada>

Jerry Petrey <"jdpetrey<NOSPAM>"@west.raytheon.com> wrote in message news:<3C681C25.6356CAF3@west.raytheon.com>...
.
> In regards to record representation, ARM 13.5.1-11 
> states:
> 
> At most one component_clause is allowed for each 
> component of the type, including for each discriminant 
> (component_clauses may be given for some, all,
> or none of the components). Storage places within a 
> component_list shall not overlap, UNLESS they are for 
> components in distinct variants of the same
> variant_part. 

This seems to me a tempest in a teapot (nice english phrase 
meaning Much Ado About Nothing (entertating Shakespeare
title, meaning a lot of fuss about a small point)).

The RM also says you don't have to do anything you can't
do. So if indeed .NET does not allow variants to overlap,
then Ada compilers in this environment won't allow overlapped
variants. This only affects the set of rep clauses that are accepted,
and it is to be expected that
in protected environments such as the JVM and .NET that there will be
restrictions on rep clauses.