test_self.adb

来自「用于进行gcc测试」· ADB 代码 · 共 13 行

-- { dg-do run }

with Text_IO; use Text_IO;
with Self; use Self;
procedure Test_Self is
   It : Lim := G (5);
begin   
   Change (It, 10);
   if Get (It) /= 35 then 
      Put_Line ("self-referential aggregate incorrectly built");
   end if; 
end Test_Self;