compiler: give error for non-int arguments to make
[official-gcc.git] / gcc / testsuite / gnat.dg / test_unknown_discrs.adb
blob6af52dfd62b72f863cab335c6aa1e3e7d64952b1
1 -- { dg-do compile }
3 procedure Test_Unknown_Discrs is
5 package Display is
7 type Component_Id (<>) is limited private;
9 Deferred_Const : constant Component_Id;
11 private
13 type Component_Id is (Clock);
15 type Rec1 is record
16 C : Component_Id := Deferred_Const;
17 end record;
19 Priv_Cid_Object : Component_Id := Component_Id'First;
21 type Rec2 is record
22 C : Component_Id := Priv_Cid_Object;
23 end record;
25 Deferred_Const : constant Component_Id := Priv_Cid_Object;
27 end Display;
29 begin
30 null;
31 end Test_Unknown_Discrs;