From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Language Lawyers help on rep_specs
Date: 3 Jan 1995 13:04:05 -0500
Date: 1995-01-03T13:04:05-05:00 [thread overview]
Message-ID: <3ec3il$ngf@gnat.cs.nyu.edu> (raw)
In-Reply-To: 3ebo8f$jlo@theopolis.orl.mmc.com
Ted says that Integer (x'First) is not static, and quotes something
about functions, but there is no function call involved here. Integer is
a static conversion, not a function call, and the expression
Integer (x'First) is most definitely static assuming x is a static subtype.
next prev parent reply other threads:[~1995-01-03 18:04 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-01-03 12:49 Language Lawyers help on rep_specs Jeff Etrick
1995-01-03 14:50 ` Theodore E. Dennison
1995-01-03 16:30 ` Tucker Taft
1995-01-03 18:04 ` Robert Dewar [this message]
1995-01-03 18:07 ` Robert Dewar
1995-01-03 15:06 ` Robert Dewar
1995-01-04 14:40 ` Norman H. Cohen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox