20 lines
472 B
Ada
20 lines
472 B
Ada
procedure Rep_Clause8 is
|
|
package Pack is
|
|
type Root is tagged record
|
|
Comp : Integer;
|
|
end record;
|
|
end Pack;
|
|
use Pack;
|
|
|
|
generic
|
|
type Formal_Root is new Root with private;
|
|
package Gen_Derived is
|
|
type Deriv is new Formal_Root with null record -- { dg-error "representation item not allowed for generic type" }
|
|
with Size => 300;
|
|
end Gen_Derived;
|
|
|
|
package Inst_Derived is new Gen_Derived (Root);
|
|
begin
|
|
null;
|
|
end;
|