gcc/testsuite/gnat.dg/specs/controller.ads

   1 -- { dg-do compile }
   2
   3 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
   4 package Controller is
   5    type Iface is interface;
   6    type Thing is tagged record
   7       Name : Unbounded_String;
   8    end record;
   9    type Object is abstract new Thing and Iface with private;
  10 private
  11    type Object is abstract new Thing  and Iface
  12    with record
  13       Surname : Unbounded_String;
  14    end record;
  15 end Controller;