From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: How do functions return unbounded arrays?
Date: 1998/06/21
Date: 1998-06-21T00:00:00+00:00 [thread overview]
Message-ID: <dewar.898439913@merv> (raw)
In-Reply-To: 35879C27.634A3E0@praxis-cs.co.uk
Rod said
<<In Ada95 (and thus SPARK95), things are much better, since the definition
of "static" covers a much larger set of expressions, and the RM's implementatio
advice gives you a pretty clear idea of what to expect.
>>
I guess that means that Gavin misspoke when he mentioned that SPARK only
handles concatenation of string literals, as opposed to static string
expressions. Can we indeed assume that SPARK95 allows ALL static
expressions as defined in the RM (there is certainly no reason not to!)
next prev parent reply other threads:[~1998-06-21 0:00 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-06-14 0:00 How do functions return unbounded arrays? Markus Kuhn
1998-06-14 0:00 ` Robert A Duff
1998-06-15 0:00 ` John Herro
1998-06-17 0:00 ` Mark D. McKinney
1998-06-17 0:00 ` Matthew Heaney
[not found] ` <35865075.9D7DCBD@cl.cam.ac.uk>
1998-06-17 0:00 ` Gavin Finnie
1998-06-17 0:00 ` Rod Chapman
1998-06-21 0:00 ` Robert Dewar
1998-06-21 0:00 ` Robert Dewar [this message]
1998-06-21 0:00 ` Robert Dewar
1998-06-17 0:00 ` Matthew Heaney
1998-06-21 0:00 ` Robert Dewar
1998-06-18 0:00 ` Mats Weber
1998-06-21 0:00 ` Robert Dewar
1998-06-21 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox