view gcc/testsuite/gnat.dg/inline20_g.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 Ada.Streams;

generic
package Inline20_G is

   subtype Offset_Type is Ada.Streams.Stream_Element_Offset;

   generic
      type T is private;
   package Nested_G is

      procedure Get (Data : T; Into : out Offset_Type);

      function F return Integer with Inline;

   end Nested_G;

end Inline20_G;