1package Discr35 is
2
3  type Rec1 is tagged null record;
4
5  type Enum is (One, Two);
6
7  type Rec2 (D : Enum := One) is
8  record
9    case D is
10      when One => null;
11      when Two => R : Rec1;
12    end case;
13  end record;
14
15   Null_Rec2 : Constant Rec2;
16
17   procedure Proc1;
18
19   procedure Proc2;
20
21private
22
23   Null_Rec2 : Constant Rec2 := (D => One);
24
25end Discr35;
26