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 10.66.124.225 with SMTP id ml1mr32772424pab.31.1436627978187;
        Sat, 11 Jul 2015 08:19:38 -0700 (PDT)
X-Received: by 10.140.85.11 with SMTP id m11mr394185qgd.29.1436627977946; Sat,
 11 Jul 2015 08:19:37 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!i4no865104ige.0!news-out.google.com!4ni80012qgh.1!nntp.google.com!e109no246479qge.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 11 Jul 2015 08:19:37 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=5.69.184.103;
 posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS
NNTP-Posting-Host: 5.69.184.103
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f5e52fb4-f3a4-4c81-8d20-57b3a0d4f581@googlegroups.com>
Subject: Why can't I used a deferred constant in a case statement?
From: Lucretia <laguest9000@googlemail.com>
Injection-Date: Sat, 11 Jul 2015 15:19:37 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:26777
Date: 2015-07-11T08:19:37-07:00
List-Id: <comp.lang.ada>

Hi,

In my SDL bindings, I made all my event constants deferred, but when I came to use them in a case statement, the compiler complained:

test.adb:61:24: choice given in case statement is not static
test.adb:64:24: choice given in case statement is not static

The code is:

      declare
         Event    : SDL.Events.Events;
         Finished : Boolean := False;
         
         use type SDL.Events.Event_Types;
      begin
         loop
            while SDL.Events.Poll (Event) loop
               case Event.Common.Event_Type is
                  when SDL.Events.Quit =>  --  61
                     Finished := True;
                     
                  when SDL.Events.Key_Up =>  --  64
                     SDL.Log.Put_Debug
                       ("Key up event: " &
                          SDL.Events.Key_Codes'Image (Event.Keyboard.Key_Sym.Key_Code));
                  when others =>
                     null;
               end case;
            end loop;

            exit when Finished;
         end loop;
      end;

Where Quit and Key_Up are deferred:

package SDL.Events is
   type Event_Types is mod 2 ** 32 with
     Convention => C;

   Quit                       : constant Event_Types;
   Key_Up                     : constant Event_Types;
private
   Quit                       : constant Event_Types := 16#0000_0100#;
   Key_Up                     : constant Event_Types := Key_Down + 1;
end SDL.Events;

I can't find anything about this anywhere.

Luke.