From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Question about Spark_IO
Date: Wed, 11 Apr 2012 16:35:16 +0200
Date: 2012-04-11T16:35:16+02:00 [thread overview]
Message-ID: <op.wclus2fxule2fv@douda-yannick> (raw)
In-Reply-To: Cf2dnRYegbnckR_S4p2dnAA@giganews.com
Le Mon, 09 Apr 2012 00:07:48 +0200, Peter C. Chapin <PChapin@vtc.vsc.edu>
a écrit:
> I'm doing something like this to close a file using Spark_IO
>
> Spark_IO.Close(Input, Input_Status);
> if Input_Status /= Spark_IO.Ok then ...
>
> The Examiner says there is a flow error with the first line because the
> assignment to Input is "ineffective." This is because it is an 'in out'
> parameter and nothing is being done with the returned value.
May be SPARK should have a notion of final state. This could be explicit,
which would be cleaner than locally disabling control flow.
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
prev parent reply other threads:[~2012-04-11 14:35 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-04-08 22:07 Question about Spark_IO Peter C. Chapin
2012-04-10 16:52 ` Phil Thornley
2012-04-11 14:35 ` Yannick Duchêne (Hibou57) [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox