elim1.ads

来自「用于进行gcc测试」· ADS 代码 · 共 6 行

pragma Eliminate (p, d);
package elim1 is
   type t is tagged null record;
   procedure d (a : t);       
end;