gcc/testsuite/gnat.dg/ext1.ads

   1 package ext1 is
   2     type I_Smiley is interface;
   3     procedure Set_Mood (Obj : out I_Smiley) is abstract;
   4 --
   5     type Smiley (Max : Positive) is abstract new I_Smiley with record
   6        S : String (1 .. Max);
   7     end record;
   8 --
   9     type Regular_Smiley is new Smiley (3) with null record;
  10     overriding
  11     procedure Set_Mood (Obj : out Regular_Smiley);
  12 end ext1;