From: "Jeffrey R. Carter" <spam@spam.com>
Subject: Re: TYPE'Size in static expression
Date: Mon, 24 Oct 2005 19:15:56 GMT
Date: 2005-10-24T19:15:56+00:00 [thread overview]
Message-ID: <Mpa7f.978$Rl1.607@newsread1.news.pas.earthlink.net> (raw)
In-Reply-To: <435CBDDF.3040607@dif.andthis.um.es>
Francisco J. Montoya wrote:
> That, indeed, solved my problem, but I still do not finish in
> understanding why what I wrote did not work. The expression I wrote is
> supposed to be of "Universal Integer Type", isn't it? So adding the
> explicit type "Integer" to the constant definition should not make much
> difference.
Named numbers must be static. 'Size is only static for certain types. 'Size is
never static for generic formal types.
Typed constants, on the other hand, need not be static. That's why "constant
Integer :=" works here, but "constant :=" doesn't.
--
Jeff Carter
"Ditto, you provincial putz?"
Blazing Saddles
86
next prev parent reply other threads:[~2005-10-24 19:15 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-21 8:04 TYPE'Size in static expression Francisco J. Montoya
2005-10-21 8:55 ` Dmitry A. Kazakov
2005-10-21 22:09 ` Jeffrey R. Carter
2005-10-24 10:56 ` Francisco J. Montoya
2005-10-24 11:45 ` Dmitry A. Kazakov
2005-10-24 19:15 ` Jeffrey R. Carter [this message]
2005-10-24 20:15 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox