From: Phil Thornley <phil.jpthornley@gmail.com>
Subject: Re: Question about out parameters of unconstrained array type.
Date: Sat, 25 Feb 2012 22:44:03 -0000
Date: 2012-02-25T22:44:03+00:00 [thread overview]
Message-ID: <MPG.29b37490d1cb99be98968a@news.zen.co.uk> (raw)
In-Reply-To: m2obsmk7hl.fsf@pushface.org
In article <m2obsmk7hl.fsf@pushface.org>, simon@pushface.org says...
>
> Phil Thornley <phil.jpthornley@gmail.com> writes:
>
> > If you change this to:
> >
> > for I in Integer range 1 .. S'Length loop
> >
> > there is no syntax or semantic error reported.
>
> There should be, shouldn't there? replace 1 by S'First.
That makes no difference - in SPARK all Strings are required to have an
index starting at 1.
>
> Would SPARK accept
>
> for I in S'Range loop
>
> ?
No - the subtype of the loop index is still regarded as anonymous.
Cheers,
Phil
next prev parent reply other threads:[~2012-02-25 22:44 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-25 15:19 Question about out parameters of unconstrained array type Peter C. Chapin
2012-02-25 15:33 ` Dmitry A. Kazakov
2012-02-25 18:20 ` Phil Thornley
2012-02-25 20:01 ` Simon Wright
2012-02-25 22:44 ` Phil Thornley [this message]
2012-02-27 13:48 ` Mark Lorenzen
2012-02-27 15:32 ` Phil Thornley
2012-02-25 23:37 ` Alexander Senier
2012-02-26 1:16 ` Peter C. Chapin
2012-02-26 9:14 ` Phil Thornley
2012-02-26 12:25 ` Alexander Senier
2012-02-26 13:20 ` Phil Thornley
2012-02-26 14:25 ` Niklas Holsti
2012-02-26 17:32 ` Jeffrey Carter
2012-02-26 15:29 ` Peter C. Chapin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox