| commit | 3051730b5266155cd601db083057e597a835af7b | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 25 Apr 2017 13:28:14 +0000 (25 13:28 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 25 Apr 2017 13:28:14 +0000 (25 13:28 +0000) | ||
| tree | d24645f3ab59ca8707c75802915e62f8e2bd9d25 | treesnapshot (tar.gz zip) |
| parent | 81083222e4a5037843302b0ae76aadb5f6aeade8 | commitdiff |
2017-04-25 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb, sem_util.ads (From_Nested_Package): New predicate
to determine whether a type is declared in a local package that
has not yet been frozen.
* freeze.adb (Freeze_Before): Use new predicate to determine
whether a local package must be installed on the scope stack
in order to evaluate in the proper scope actions generated by
aspect specifications, such as Predicate
* sem_ch13.adb: Simplify code in Analyze_Aspects_At_Freeze_Point
using new predicate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247229 138bc75d-0d04-0410-961f-82ee72b054a4
* sem_util.adb, sem_util.ads (From_Nested_Package): New predicate
to determine whether a type is declared in a local package that
has not yet been frozen.
* freeze.adb (Freeze_Before): Use new predicate to determine
whether a local package must be installed on the scope stack
in order to evaluate in the proper scope actions generated by
aspect specifications, such as Predicate
* sem_ch13.adb: Simplify code in Analyze_Aspects_At_Freeze_Point
using new predicate.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247229 138bc75d-0d04-0410-961f-82ee72b054a4