diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/specs/root-level_1.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/specs/root-level_1.ads | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/root-level_1.ads b/gcc/testsuite/gnat.dg/specs/root-level_1.ads new file mode 100644 index 000000000..6bcb1251f --- /dev/null +++ b/gcc/testsuite/gnat.dg/specs/root-level_1.ads @@ -0,0 +1,14 @@ +package Root.Level_1 is + + type Level_1_Type (First : Natural; + Second : Natural) is new Root_Type with private; + +private + + type Level_1_Type (First : Natural; + Second : Natural) is new Root_Type (First => First) + with record + Buffer_1 : Buffer_Type (1 .. Second); + end record; + +end Root.Level_1; |