diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/aggr11_pkg.ads')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/aggr11_pkg.ads | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/aggr11_pkg.ads b/gcc-4.9/gcc/testsuite/gnat.dg/aggr11_pkg.ads new file mode 100644 index 000000000..139c9efda --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/aggr11_pkg.ads @@ -0,0 +1,14 @@ +package Aggr11_Pkg is + + type Error_Type is (No_Error, Error); + + type Rec (Kind : Error_Type := No_Error) is record + case Kind is + when Error => null; + when others => B : Boolean; + end case; + end record; + + type Arr is array (1..6) of Rec; + +end Aggr11_Pkg; |