gcc/testsuite/gnat.dg/c_words.ads

   1 package C_Words is
   2    type Comparable is limited interface;
   3
   4    type Word (<>) is tagged private;
   5    function New_Word (Str : String) return Word;
   6
   7    type C_Word (<>) is new Word and Comparable with private;
   8    function New_Word (Str : String) return C_Word;
   9
  10 private
  11    type Word (Length : Natural) is tagged record
  12       Str : String (1 .. Length) := (others => ' ');
  13    end record;
  14
  15    type C_Word is new Word and Comparable with null record;
  16 end C_Words;