From: Maciej Sobczak <no.spam@no.spam.com>
Subject: Re: Return statements and their scope - guideline
Date: Thu, 15 Feb 2007 08:33:50 +0100
Date: 2007-02-15T08:33:50+01:00 [thread overview]
Message-ID: <er12cv$ek7$1@cernne03.cern.ch> (raw)
In-Reply-To: <1171474278.217876.63570@k78g2000cwa.googlegroups.com>
Adam Beneschan wrote:
> I'm not familiar with SPARK. What does SPARK make you do when the
> function result is a string or some other unconstrained array?
Actually SPARK handles that case very easily: unconstrained arrays
cannot be used as return types in functions at all.
--
Maciej Sobczak : http://www.msobczak.com/
Programming : http://www.msobczak.com/prog/
next prev parent reply other threads:[~2007-02-15 7:33 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-02-14 16:20 Return statements and their scope - guideline Maciej Sobczak
2007-02-14 16:41 ` Jeffrey R. Carter
2007-02-14 17:31 ` Adam Beneschan
2007-02-15 7:33 ` Maciej Sobczak [this message]
2007-02-15 7:37 ` Maciej Sobczak
2007-02-14 16:46 ` Adam Beneschan
2007-02-14 20:06 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox