comp.lang.ada
 help / color / mirror / Atom feed
From: Wes Groleau <wesgroleau@despammed.com>
Subject: Re: System.Address'Size - not a static integer expression?
Date: Mon, 15 Apr 2002 10:13:05 -0500
Date: 2002-04-15T10:13:05-05:00	[thread overview]
Message-ID: <3CBAEE01.D17C2DB0@despammed.com> (raw)
In-Reply-To: 5ee5b646.0204141201.1ffab2d8@posting.google.com


> > If that's true, both GNAT and Apex were wrong to reject
> > the code I was speaking of.
> 
> Just to clarify here: the type in question was a *RECORD*
> type, surely you cannot think that *any* record type can
> possibly qualify as a static *scalar* subtype :-)

I do not recall ever posting that it was a record
type.  Just that it was rejected and that I found
(or my faulty memory says I found) something saying
'Size was non-static.  The same memory does not think
it was a record type.

'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.  I do not have the time to look for proof that
my memory is not as faulty as you say.  For now, I have
no doubt or uncertainty, and certainly no fear.  So perhaps
FUD is the wrong term.  In any case I still think we should
it and _I_ am doing so.

-- 
Wes Groleau
http://freepages.rootsweb.com/~wgroleau



  reply	other threads:[~2002-04-15 15:13 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
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 [this message]
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