[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 21 Apr 2016 08:54:25 +0000 (10:54 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 21 Apr 2016 08:54:25 +0000 (10:54 +0200)
commitd74716b313b967b8a9406d86bae41d8843180505
tree4086d26f474e9b39bddb2caea0e866385292fadb
parentf0305f3a5b2d64cc8143ad3a1aa8a704c10f91c7
[multiple changes]

2016-04-21  Gary Dismukes  <dismukes@adacore.com>

* exp_aggr.adb: Minor reformatting and code cleanup.

2016-04-21  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Resolve_Name): Omit quantified expressions from
resolution, because they introduce local names. Full resolution
will take place when predicate function is constructed.

From-SVN: r235316
gcc/ada/ChangeLog
gcc/ada/exp_aggr.adb
gcc/ada/sem_ch13.adb