sem_ch12.adb (Analyze_Formal_Package_Declaration): Code clean up.
authorEd Schonberg <schonberg@adacore.com>
Mon, 26 Oct 2015 10:24:05 +0000 (10:24 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 Oct 2015 10:24:05 +0000 (11:24 +0100)
commit8c14315a0de2a70121941f646942a476767fad4e
tree3a2e33ee6564818115b96ca0643b1f32272c7793
parent013a83cc0252d9cc8cce994000d7a44d8e40555b
sem_ch12.adb (Analyze_Formal_Package_Declaration): Code clean up.

2015-10-26  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Analyze_Formal_Package_Declaration): Code clean up.
* sem_ch13.adb (Check_Inherited_Indexing): New inner procedure
of Check_Indexing_Functions, to verify that a derived type with an
Indexing aspect is not inheriting such an aspect from an ancestor.
(Check_Indexing_Functions): Call Check_Inherited_Indexing within
an instance.

From-SVN: r229316
gcc/ada/ChangeLog
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch13.adb