gcc/testsuite/gnat.dg/remote_type.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatws" }
   3
   4 package body remote_type is
   5    procedure Append
   6      (Container : in out List;
   7       New_Item  : in     Element_Type)
   8    is
   9    begin
  10       null;
  11    end Append;
  12    procedure Read
  13      (S : access Root_Stream_Type'Class;
  14       L : out List)
  15    is
  16    begin
  17       null;
  18    end Read;
  19    procedure Write
  20      (S : access Root_Stream_Type'Class;
  21       L : in List)
  22    is
  23    begin
  24       null;
  25    end Write;
  26 end remote_type;