3 with Text_IO; use Text_IO;
4 procedure Named_Test is
5 type Base is tagged limited record
10 function Build (X : Integer; Y : Integer) return Base is
12 return Result : Base do
13 Result.Flag := (X = Y);
14 Result.Value := X * Y;
18 type Table is array (1..1) of Base;
19 It : Table := (1 => Build ( Y => 17, X => 11));
22 or else It (1).Value /= 187