view gcc/testsuite/gnat.dg/task3.ads @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
line wrap: on
line source

with Task3_Pkg2; use Task3_Pkg2;

package Task3 is
   type Child is new Root with null record;
   type Child_Ptr is access Child;

   type Child_Wrapper is record
      Ptr : Child_Ptr := null;
   end record;

   procedure Destroy (Obj : in out Child_Wrapper);
end Task3;