Re: error: choice must be static?

["Randy Brukardt" <randy@rrsoftware.com>]

Looks like a compiler bug to me. The nonsense message gives that away... :-)

                     Randy.

"Blady" <p.p11@orange.fr> wrote in message 
news:uqaek7$vd8o$1@dont-email.me...
> Hello,
>
> I've got the following GNAT error:
>
> $ gcc -c -gnat2022 -gnatl 2024/test_20240211_static_choice.adb
> GNAT 13.2.0
>      1. procedure test_20240211_static_choice is
>      2.
>      3.    package Maps is
>      4.       type Map_Type is private
>      5.         with Aggregate =>  (Empty     => Empty_Map,
>      6.                             Add_Named => Add_To_Map);
>      7.       procedure Add_To_Map (M : in out Map_Type; Key : in Integer; 
> Value : in String);
>      8.       Empty_Map : constant Map_Type;
>      9.    private
>     10.       type Map_Type is array (1..10) of String (1..10);
>     11.       procedure Add_To_Map (M : in out Map_Type; Key : in Integer; 
> Value : in String) is null;
>     12.       Empty_Map : constant Map_Type := [1..10 => "          "]; --  
> error: choice must be static
>                                                  |
>         >>> error: choice must be static
>
>     13.    end;
>     14.
>     15. begin
>     16.    null;
>     17. end;
>
> I wonder what more static it should be.
> Any clue ?
>
> Thanks, Pascal.
>
> Source code:
> procedure test_20240211_static_choice is
>
>    package Maps is
>       type Map_Type is private
>         with Aggregate =>  (Empty     => Empty_Map,
>                             Add_Named => Add_To_Map);
>       procedure Add_To_Map (M : in out Map_Type; Key : in Integer; Value : 
> in String);
>       Empty_Map : constant Map_Type;
>    private
>       type Map_Type is array (1..10) of String (1..10);
>       procedure Add_To_Map (M : in out Map_Type; Key : in Integer; Value : 
> in String) is null;
>       Empty_Map : constant Map_Type := [1..10 => "          "]; -- 
> error: choice must be static
>    end;
>
> begin
>    null;
> end;