This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [Ada] fix bug in deferred constant



package P is
  pragma elaborate_body;
  type Int (D: Boolean := False) is null record;
  type Pair is record
     X : Int;
     Y : Integer;
  end record;
end P;
--
package body P is
   X : constant Int (True);
   P : constant Pair := (X, 15);
end;

Are these testcases being placed in the gnat.dg (or another) test harness?


Paolo


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]