From: Lutz Donnerhacke <lutz@iks-jena.de>
Subject: Re: [Spark] Converting Arrays
Date: Fri, 21 Mar 2003 15:17:33 +0000 (UTC)
Date: 2003-03-21T15:17:33+00:00 [thread overview]
Message-ID: <slrnb7mb8b.nu.lutz@taranis.iks-jena.de> (raw)
In-Reply-To: 3E7B2A1D.CA3214D9@praxis-cs.co.uk
* Peter Amey wrote:
> The next release of the Examiner will allow exported, formal parameters
> of unconstrained types to appear in preconditions.
That's great, thank you. Currently a valid workaroud is to declare the
parameter "in out" and initialize it outside the procedure, if necessary.
next prev parent reply other threads:[~2003-03-21 15:17 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-03-13 5:55 [Spark] Converting Arrays Grein, Christoph
2003-03-13 9:47 ` Peter Amey
2003-03-13 10:15 ` Lutz Donnerhacke
2003-03-21 15:05 ` Peter Amey
2003-03-21 15:17 ` Lutz Donnerhacke [this message]
-- strict thread matches above, loose matches on Subject: below --
2003-03-10 17:06 Lutz Donnerhacke
2003-03-10 20:03 ` James S. Rogers
2003-03-10 22:33 ` Lutz Donnerhacke
2003-03-11 10:14 ` Rod Chapman
2003-03-11 10:51 ` Lutz Donnerhacke
2003-03-11 10:52 ` Lutz Donnerhacke
2003-03-11 20:46 ` JP Thornley
2003-03-12 8:43 ` Phil Thornley
2003-03-12 11:57 ` Lutz Donnerhacke
2003-03-12 18:46 ` JP Thornley
2003-03-13 10:14 ` Lutz Donnerhacke
2003-03-12 9:43 ` Rod Chapman
2003-03-12 10:15 ` Lutz Donnerhacke
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox