diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/statically_matching.ads')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/statically_matching.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/statically_matching.ads b/gcc-4.9/gcc/testsuite/gnat.dg/statically_matching.ads new file mode 100644 index 000000000..de2ba1b0b --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/statically_matching.ads @@ -0,0 +1,7 @@ +package Statically_Matching is + type T1(b: boolean) is tagged null record; + type T2 is new T1(b => false) with private; +private + F: constant boolean := false; + type T2 is new T1(b => F) with null record; -- OK +end Statically_Matching; |