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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a37:6508:: with SMTP id z8mr6712649qkb.39.1591853799809;
 Wed, 10 Jun 2020 22:36:39 -0700 (PDT)
X-Received: by 2002:a05:6830:14c2:: with SMTP id
 t2mr5315774otq.5.1591853799586; Wed, 10 Jun 2020 22:36:39 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 10 Jun 2020 22:36:39 -0700 (PDT)
In-Reply-To: <2d4d6645-7055-4564-a854-6da5fc83af4eo@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=212.251.152.55;
 posting-account=bPTmZAoAAAC_6HP9XLKB9aAAxBa6BuOR
NNTP-Posting-Host: 212.251.152.55
References: <2d4d6645-7055-4564-a854-6da5fc83af4eo@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <33d5f817-74aa-4373-a5e1-026962dc3ef7o@googlegroups.com>
Subject: Re: Q: discrete_subtype_definition: static only cases?
From: reinert <reinkor@gmail.com>
Injection-Date: Thu, 11 Jun 2020 05:36:39 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:59037
Date: 2020-06-10T22:36:39-07:00
List-Id: <comp.lang.ada>

I have made myself somehow similar questions, and found workarounds using s=
ubtype predicates.=20

http://www.ada-auth.org/standards/12rat/html/Rat12-2-5.html

reinert


s=C3=B8ndag 7. juni 2020 11.27.33 UTC+2 skrev gautier...@hotmail.com f=C3=
=B8lgende:
> Hi,
>=20
> Are there cases in the Ada syntax where a discrete_subtype_definition (RM=
 3.6 (6)) is expected to be determined at compile-time?
>=20
> For instance, for array indices or "for" loops, it can be static or dynam=
ic.
> Same for subtypes.
>=20
> procedure SD is
>   A : array (1 .. 5) of Integer;
>   type XYZ is (X, Y, Z);
> begin
>   for I in 1 .. 3 loop
>     declare
>       B : array (1 .. I) of Integer;  --  I is a variable
>     begin
>       for J in 1 .. I loop            --  I is a variable
>         B (J) :=3D J;
>       end loop;
>     end;
>   end loop;
>   for E in XYZ loop
>     declare
>       subtype S is XYZ range X .. E;  --  E is a variable
>     begin
>       null;
>     end;
>   end loop;
> end;
> _________________________=20
> Gautier's Ada programming=20
> https://hacadacompiler.sourceforge.io/
> NB: follow the above link for a valid e-mail address