summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/controller.ads
blob: eff9e05361ee105f4a3d34e8ac0a1e674430b5a3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-- { dg-do compile } 

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
package Controller is
   type Iface is interface;
   type Thing is tagged record
      Name : Unbounded_String;
   end record;
   type Object is abstract new Thing and Iface with private;
private
   type Object is abstract new Thing  and Iface
   with record
      Surname : Unbounded_String;
   end record;
end Controller;