Re: When a conditional expression is static, where can it be used?

[Adam Beneschan <adam@irvine.com>]

On Jun 30, 3:39 am, Georg Bauhaus <rm.dash-bauh...@futureapps.de>
wrote:
> A totally meaningless example just to illustrate
> the question:  What is it that a compiler must report
> for the case statement below, if anything?

The choice "Sa" is not covered by any alternative.  Other than that, I
don't think there's anything wrong with the CASE statement, and if you
had included a "when others =>" alternative I think it would be
legal.  I'm not sure what potential problem you were trying to
illustrate.

                   -- Adam

>
> procedure CE is
>
>    type DOW is (Mo, Tu, We, Th, Fr, Sa, So);
>
>    procedure P is begin null; end P;
>
>    D: constant DOW := We;
> begin
>    case D is
>       when Mo | We | Fr => P;
>       when (if D = We or D = Fr then So else Sa) => P;
>       when Tu | Th  => P;
>    end case;
> end CE;
>
> Georg