Re: Why can't objects be static in Ada?

[sbelmont700@gmail.com]

For anyone interested, here is a minimal reproduction of what (i think) is the OP's issue (the actual for the generic instantiation, not the constant itself).


package Static is
  pragma Preelaborate;

  generic
    type T is private;
    o : T;
  package GP is
  end GP;

  type T is
    record
      x,y : Positive;
    end record;

  o : constant T := (others => Positive'First);

  package p1 is new GP (T, O);                            --no
  package p2 is new GP (T, (others => Positive'First));   --yes

end Static;


gcc -c static.ads
static.ads:19:27: non-static constant in preelaborated unit
static.ads:19:27: static expression must have scalar or string type (RM 4.9(2))
gnatmake: "static.ads" compilation error


Needling to duplicate the declaration does seem needlessly irritating, but then again isn't everything with generics? ;-)