Re: error: choice must be static?

[Simon Wright <simon@pushface.org>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

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

GCC 14.0.1 says

     1. procedure test_20240211_static_choice is
     2.
     3.    package Maps is
     4.       type Map_Type is private
     5.         with Aggregate =>  (Empty     => Empty_Map,
                     |
        >>> error: aspect "Aggregate" can only be applied to non-array type

     6.                             Add_Named => Add_To_Map);
     7.       procedure Add_To_Map (M : in out Map_Type; Key : in Integer;
     8.       Value : in String);
     9.       Empty_Map : constant Map_Type;
    10.    private
    11.       type Map_Type is array (1..10) of String (1..10);
    12.       procedure Add_To_Map (M : in out Map_Type; Key : in Integer;
    13.       Value : in String) is null;
    14.       Empty_Map : constant Map_Type := [1..10 => "          "];
                                                 |
        >>> error: choice must be static

    15.    end;
    16.
    17. begin
    18.    null;
    19. end;

I think the first is because of ARM 4.3.5(2), "For a type other than an
array type, the following type-related operational aspect may be
specified"[1] and the second is a "nonsense" consequence.

[1] http://www.ada-auth.org/standards/22rm/html/RM-4-3-5.html#p2