From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Static bounds of loop - compilation error
Date: Tue, 30 Oct 2012 15:37:30 +0100
Date: 2012-10-30T15:37:26+01:00 [thread overview]
Message-ID: <508fe626$0$6634$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <6cc8e815-96c3-4a79-8bcd-e3aea906b889@googlegroups.com>
On 30.10.12 14:26, pascal.malaise@gmail.com wrote:
> Hi Ada experts,
>
> can anyone explain the following compilation errors:
> procedure T is
> type E is (A, B, C);
> subtype S is E range A .. B;
> X, Y : S;
> begin
> X := A;
> Y := B;
> for I in S range X .. Y loop
> case I is
> when A => null;
> when B => null;
> end case;
> end loop;
> end T;
>>> missing case value: "C"
> So is it a bug?
I won't speculate, but assuming it is not a bug, then qualifying the I
should not make the compiler think the source is fine after qualifying?
for I in S range X .. Y loop
case S'(I) is
when A => null;
when B => null;
end case;
end loop;
next prev parent reply other threads:[~2012-10-30 14:46 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-30 13:26 Static bounds of loop - compilation error pascal.malaise
2012-10-30 14:37 ` Georg Bauhaus [this message]
2012-10-30 16:10 ` Adam Beneschan
2012-10-30 17:03 ` Yannick Duchêne (Hibou57)
2012-10-30 17:15 ` Yannick Duchêne (Hibou57)
2012-10-31 13:18 ` Marc C
2012-10-31 16:23 ` pascal.malaise
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox