2005-12-05 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Dec 2005 17:21:19 +0000 (17:21 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Dec 2005 17:21:19 +0000 (17:21 +0000)
commitd177360bc6368f932317cdccdf6dd83e02c776d3
tree23ddc8663a59b1e79ef4abc43299d6f2168f83b6
parentb8dfeefc7d6be45300028c6139453894980df1f0
2005-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Remove_Abstract_Operations): Do not apply preference
rule prematurely when operands are universal, remaining ambiguities
will be removed during resolution.
Code cleanup.

* sem_type.adb (Disambiguate): In Ada95 mode, discard interpretations
that are Ada 2005 functions.
(Has_Abstract_Interpretation): Subsidiary to
Remove_Conversions, to remove ambiguities caused by abstract operations
on numeric types when operands are universal.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108302 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/sem_ch4.adb
gcc/ada/sem_type.adb