gcc/testsuite/gnat.dg/discr18_pkg.ads

   1 package Discr18_Pkg is
   2
   3    subtype Length is Natural range 0..256;
   4
   5    type Multiple_Discriminants (A, B : Length) is tagged
   6       record
   7          S1 : String (1..A);
   8          S2 : String (1..B);
   9       end record;
  10
  11    procedure Do_Something (Rec : in out Multiple_Discriminants);
  12
  13    type Multiple_Discriminant_Extension (C : Length) is
  14       new Multiple_Discriminants (A => C, B => C)
  15       with record
  16          S3 : String (1..C);
  17       end record;
  18
  19 end Discr18_Pkg;