From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: 103376,bc2c82b1e5c6fe83
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.204.153.5 with SMTP id i5mr592686bkw.1.1330209856947;
        Sat, 25 Feb 2012 14:44:16 -0800 (PST)
Path: 
 t13ni69905bkb.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!dedekind.zen.co.uk!zen.net.uk!hamilton.zen.co.uk!reader02.news.zen.co.uk.POSTED!not-for-mail
From: Phil Thornley <phil.jpthornley@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Question about out parameters of unconstrained array type.
Date: Sat, 25 Feb 2012 22:44:03 -0000
Message-ID: <MPG.29b37490d1cb99be98968a@news.zen.co.uk>
References: <I8qdndMrnK9zZtXS4p2dnAA@giganews.com>
 <MPG.29b336d065dea044989689@news.zen.co.uk> <m2obsmk7hl.fsf@pushface.org>
Reply-To: phil.jpthornley@gmail.com
MIME-Version: 1.0
User-Agent: MicroPlanet-Gravity/3.0.4
Organization: Zen Internet
NNTP-Posting-Host: 1e658193.news.zen.co.uk
X-Trace: 
 DXC=6BlWbQ0H_V4\c0=1\i[2^3YjZGX^207P;`<MJMoM3PF=^LCFa?0ZJ=?6JNOYoB;SJ>nAfUA6>T<64AM:SESdFm?:
X-Complaints-To: abuse@zen.co.uk
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Date: 2012-02-25T22:44:03+00:00
List-Id: <comp.lang.ada>

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