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=-0.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM, REPLYTO_WITHOUT_TO_CC autolearn=no 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-12 14:10:35 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!cambridge1-snf1.gtei.net!news.gtei.net!bos-service1.ext.raytheon.com!dfw-service2.ext.raytheon.com.POSTED!not-for-mail Message-ID: <3CB74D37.973A4C19@despammed.com> From: Wes Groleau Reply-To: wesgroleau@despammed.com X-Mailer: Mozilla 4.77 [en] (Windows NT 5.0; U) X-Accept-Language: en,es-MX,es,pt,fr-CA,fr MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: System.Address'Size - not a static integer expression? 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> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Fri, 12 Apr 2002 16:10:15 -0500 NNTP-Posting-Host: 151.168.144.162 X-Complaints-To: news@ext.ray.com X-Trace: dfw-service2.ext.raytheon.com 1018645834 151.168.144.162 (Fri, 12 Apr 2002 16:10:34 CDT) NNTP-Posting-Date: Fri, 12 Apr 2002 16:10:34 CDT Organization: Raytheon Company Xref: archiver1.google.com comp.lang.ada:22448 Date: 2002-04-12T16:10:15-05:00 List-Id: > > At the time, I considered the expression I used > > static because it COULD BE determined at compile time. > > Fine, but that was a misunderstanding, static does NOT > mean "COULD BE determined at compile time. In the Ada RM it doesn't. But to a lot of people (and formerly, to me) that's what it meant. > > But I DID find something in the RM that said 'Size cannot > > be used where a static expression is required. > > No you didn't, because there is no such rule. The actual > rule is that 'Size is static if applied to a static scalar > subtype, and otherwise is not static. But you won't find > a rule in the RM that says that Size applied to a non-scalar type or a > non-static scalar type is non-static. It wasn't in 4.9 For me to prove I'm right, I'd have to find it again, which would be hard. For you to prove I'm wrong, you'd have to make me read every paragraph in the RM and agree it isn't in there, which would be even harder. So I think we should drop it. > > So you are saying that it IS in this subset > > if the prefix is a static scalar subtype? > > Yes :-) several times If that's true, both GNAT and Apex were wrong to reject the code I was speaking of. And I severely misinterpreted the RM passage that seemed to justify the rejection. -- Wes Groleau http://freepages.rootsweb.com/~wgroleau