25 lines
450 B
Ada
25 lines
450 B
Ada
package Discr46 is
|
|
|
|
type Enum is (One, Two, Three);
|
|
for Enum use (One => 1, Two => 2, Three => 3);
|
|
|
|
type Rec1 (D : Boolean := False) is record
|
|
case D is
|
|
when False => null;
|
|
when True => T : Integer;
|
|
end case;
|
|
end record;
|
|
|
|
type Rec2 is record
|
|
R : Rec1;
|
|
C : Character;
|
|
end record;
|
|
|
|
type Arr is array (Enum) of Rec2;
|
|
|
|
A : Arr;
|
|
|
|
function F (Id : Enum) return Integer;
|
|
|
|
end Discr46;
|