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,b1208117d36fb121
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-04-15 12:57:33 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: System.Address'Size - not a static integer expression?
Date: Mon, 15 Apr 2002 14:57:36 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <ubmc5dgvl8toba@corp.supernews.com>
References: <665e587a.0203060957.3682edf7@posting.google.com>
 <5ee5b646.0203061721.36d42541@posting.google.com>
 <3C877185.1CF93423@despammed.com>
 <7f1fa3aa.0203081034.12a7bd11@posting.google.com>
 <3C891463.C4C09795@despammed.com>
 <5ee5b646.0204072057.48d33742@posting.google.com>
 <3CB1B473.CF6E93AD@despammed.com>
 <5ee5b646.0204091754.5dcfd16d@posting.google.com>
 <3CB47947.466E0E81@despammed.com>
 <5ee5b646.0204121220.606ecc36@posting.google.com>
 <3CB74D37.973A4C19@despammed.com>
 <5ee5b646.0204141201.1ffab2d8@posting.google.com>
 <3CBAEE01.D17C2DB0@despammed.com>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:22566
Date: 2002-04-15T14:57:36-05:00
List-Id: <comp.lang.ada>

Wes Groleau wrote in message <3CBAEE01.D17C2DB0@despammed.com>...
>'Size DOES return a scalar.  Therefore, if the prefix
>is static and non-scalar, 4.9 (7) says 'Size on it is
>static. That does not prove no other paragraph says
>otherwise.  You say no, and you are a generally reliable
>source.

The only non-scalar subtype that can be static is a string subtype.
That's rare enough that it can be ignored. So, for practical purposes,
'Size is static only for prefixes of static scalar subtypes (which are
most scalar subtypes).

            Randy.