gcc/testsuite/gnat.dg/equal7_pkg.ads

   1 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
   2 with Ada.Finalization;      use Ada.Finalization;
   3 package Equal7_Pkg is
   4
   5    type Editor_Location is abstract new Controlled with null record;
   6    Nil_Editor_Location : constant Editor_Location'Class;
   7
   8    function F (X : Integer) return Unbounded_String;
   9    function F (X : Integer) return String;
  10
  11 private
  12    type Dummy_Editor_Location is new Editor_Location with null record;
  13
  14    Nil_Editor_Location : constant Editor_Location'Class :=
  15      Dummy_Editor_Location'(Controlled with null record);
  16 end;