From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: SPARK problem with unconstrained arrays
Date: Wed, 04 Mar 2015 22:31:12 +0100
Date: 2015-03-04T22:31:12+01:00 [thread overview]
Message-ID: <87sidkv49r.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: 00de73ba-0430-4528-9f10-cf664a70fa02@googlegroups.com
Maciej Sobczak <see.my.homepage@gmail.com> writes:
> procedure Find_Min (A : in My_Array; I : out Index)
> with Pre => A'First <= A'Last,
> -- ...
Wouldn't "A'Length >= 1" be more readable?
Greetings,
Jacob
--
"The butcher backed into the meat grinder and got a little behind
in his work."
next prev parent reply other threads:[~2015-03-04 21:31 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-03 9:29 SPARK problem with unconstrained arrays Maciej Sobczak
2015-03-03 9:41 ` Maciej Sobczak
2015-03-04 21:31 ` Jacob Sparre Andersen [this message]
2015-03-04 22:31 ` Maciej Sobczak
2015-03-13 22:15 ` Shark8
2015-03-24 23:03 ` phil.clayton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox