From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Subject: Re: Out parameters and unconstrained variant types
Date: Fri, 27 Jun 2008 09:11:57 +0200
Date: 2008-06-27T09:12:00+02:00 [thread overview]
Message-ID: <486492c0$0$27448$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <c6f8a097-4675-4335-bbda-ae552be2e8e6@m73g2000hsh.googlegroups.com>
Gene wrote:
> ALRM 2005 and Barnes seem to say the procedure Do_Something will know
> that rtn in foo is unconstrained and allow both calls to succeed.
You can express your expectations in the program by adding
pragma Assert(not rtn'Constrained);
-- Georg
next prev parent reply other threads:[~2008-06-27 7:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-27 0:22 Out parameters and unconstrained variant types Gene
2008-06-27 0:49 ` anon
2008-06-27 2:40 ` Adam Beneschan
2008-06-27 7:11 ` Georg Bauhaus [this message]
2008-06-27 7:58 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox