From: dewar@gnat.com (Robert Dewar)
Subject: Re: System.Address'Size - not a static integer expression?
Date: 7 Apr 2002 21:57:18 -0700
Date: 2002-04-08T04:57:18+00:00 [thread overview]
Message-ID: <5ee5b646.0204072057.48d33742@posting.google.com> (raw)
In-Reply-To: 3C891463.C4C09795@despammed.com
Wes Groleau <wesgroleau@despammed.com> wrote in message news:<3C891463.C4C09795@despammed.com>...
>
> There's the justification: 'Size is sometimes
> non-static, and requiring a compiler to distinguish when
> imposes too much complexity.
No, this is quite wrong (and there is quite a bit of
misinformation in this thread).
First, it is not correct that 'Size is always non-static.
As is quite clear from RM 4.9
7 an attribute_reference that denotes a scalar value,
and whose prefix denotes a static scalar subtype;
any application of 'Size to a static scalar subtype is
indeed static.
So, how come size of other types is never static. It does
NOT have to do with distinguishing constant and dynamic
cases -- that's trivial and has to be done anyway.
What is important to realize is that laying out composite
types is non-trivial, highly target dependent, and likely
to be done by the target back end of a compiler. It would
be a pain if this processing had to be done early on in the
front end.
next prev parent reply other threads:[~2002-04-08 4:57 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-03-06 17:57 System.Address'Size - not a static integer expression? Vadim Godunko
2002-03-07 1:21 ` Robert Dewar
2002-03-07 13:56 ` Wes Groleau
2002-03-08 18:34 ` FGD
2002-03-08 19:07 ` Larry Kilgallen
2002-03-08 19:43 ` Wes Groleau
2002-04-08 4:57 ` Robert Dewar [this message]
2002-04-08 15:17 ` Wes Groleau
2002-04-10 1:54 ` Robert Dewar
2002-04-10 17:41 ` Wes Groleau
2002-04-10 18:29 ` Darren New
2002-04-12 20:20 ` Robert Dewar
2002-04-12 21:10 ` Wes Groleau
2002-04-14 19:59 ` Robert Dewar
2002-04-14 20:01 ` Robert Dewar
2002-04-15 15:13 ` Wes Groleau
2002-04-15 19:57 ` Randy Brukardt
2002-04-17 3:22 ` Robert Dewar
2002-04-17 3:11 ` Robert Dewar
2002-04-17 18:27 ` Wes Groleau
2002-04-19 14:06 ` Robert Dewar
2002-04-19 15:05 ` Wes Groleau
2002-04-20 2:26 ` Robert Dewar
2002-04-20 5:11 ` Robert Dewar
2002-04-20 16:50 ` Darren New
2002-04-22 9:20 ` Ole-Hjalmar Kristensen
2002-04-22 13:24 ` Robert Dewar
2002-04-22 13:59 ` Ole-Hjalmar Kristensen
2002-04-22 13:34 ` Robert Dewar
2002-04-22 14:02 ` Ole-Hjalmar Kristensen
2002-04-22 16:11 ` Jean-Pierre Rosen
2002-04-22 23:57 ` Robert Dewar
2002-04-08 0:43 ` Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox