view gcc/testsuite/gnat.dg/taft_type4.adb @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }
-- { dg-options "-O -gnatn" }

with Taft_Type4_Pkg; use Taft_Type4_Pkg;

procedure Taft_Type4 is
  Obj : T;
begin
  Proc (Obj);
end;