32 lines
606 B
Ada
32 lines
606 B
Ada
-- { dg-do compile }
|
|
|
|
procedure Test_Unknown_Discrs is
|
|
|
|
package Display is
|
|
|
|
type Component_Id (<>) is limited private;
|
|
|
|
Deferred_Const : constant Component_Id;
|
|
|
|
private
|
|
|
|
type Component_Id is (Clock);
|
|
|
|
type Rec1 is record
|
|
C : Component_Id := Deferred_Const;
|
|
end record;
|
|
|
|
Priv_Cid_Object : Component_Id := Component_Id'First;
|
|
|
|
type Rec2 is record
|
|
C : Component_Id := Priv_Cid_Object;
|
|
end record;
|
|
|
|
Deferred_Const : constant Component_Id := Priv_Cid_Object;
|
|
|
|
end Display;
|
|
|
|
begin
|
|
null;
|
|
end Test_Unknown_Discrs;
|