From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Range constraints on subprogram parameters?
Date: 01 Oct 2005 10:41:08 -0400
Date: 2005-10-01T10:41:08-04:00 [thread overview]
Message-ID: <wccll1dcnaz.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: wccpsqpcnil.fsf@shell01.TheWorld.com
Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> Elaboration of the body would not call F. (Of course, if there's no
> explicit spec, you need to elaborate an implicit one at the place of the
> body.)
On the third hand, default expressions are not evaluated during
elaboration of the spec, nor during elaboration of the body -- they're
evaluated on every call. Is _that_ confusing?
- Bob
next prev parent reply other threads:[~2005-10-01 14:41 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-28 20:00 Range constraints on subprogram parameters? Bobby D. Bryant
2005-09-29 5:39 ` Jeffrey R. Carter
2005-09-29 8:30 ` Peter Hermann
2005-09-29 9:06 ` Martin Dowie
2005-09-29 18:16 ` Jeffrey R. Carter
2005-09-30 2:23 ` Bobby D. Bryant
2005-09-30 5:46 ` Jeffrey R. Carter
2005-10-01 1:07 ` Randy Brukardt
2005-10-01 3:50 ` Jeffrey R. Carter
2005-10-01 14:36 ` Robert A Duff
2005-10-01 14:41 ` Robert A Duff [this message]
2005-09-30 2:24 ` Bobby D. Bryant
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox