diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/layered_abstraction.adb')
| -rw-r--r-- | gcc/testsuite/gnat.dg/layered_abstraction.adb | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/layered_abstraction.adb b/gcc/testsuite/gnat.dg/layered_abstraction.adb new file mode 100644 index 00000000000..bdb9552e1aa --- /dev/null +++ b/gcc/testsuite/gnat.dg/layered_abstraction.adb @@ -0,0 +1,9 @@ +package body Layered_Abstraction is + Z : P1.T := P2.Obj; -- Both P1.T and P2.Obj are visible because + -- they were not specified in the formal package. + -- Note that P2.T is not visible since it + -- is required to match P1.T + + use P1; -- to make equality immediately visible + Yes_Again : Boolean := P1.Obj2 = P2.Obj2; +end Layered_Abstraction; |