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