view gcc/testsuite/gnat.dg/predicate2_main.adb @ 143:76e1cf5455ef

add cbc_gc test
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:24:05 +0900
parents 84e7813d76e9
children
line wrap: on
line source

--  { dg-do compile }

with Predicate2.Project.Typ.Set;

procedure Predicate2_Main is
   Type_Def : Predicate2.Project.Typ.Object := Predicate2.Project.Typ.Undefined;
   Types    : Predicate2.Project.Typ.Set.Object;
begin
   Type_Def := Types ("toto");
end Predicate2_Main;