diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2006-02-15 10:45:29 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-02-15 10:45:29 +0100 |
| commit | 4e73070af6d0d5091ac78966a6bd3b43c861c904 (patch) | |
| tree | 0c80e1e6f750a6cfb18612964f5e677a09698823 /gcc/tree.c | |
| parent | 3640a4e7820d85e5e0af1715139105ed1ad0b458 (diff) | |
| download | gcc-4e73070af6d0d5091ac78966a6bd3b43c861c904.zip gcc-4e73070af6d0d5091ac78966a6bd3b43c861c904.tar.gz gcc-4e73070af6d0d5091ac78966a6bd3b43c861c904.tar.bz2 | |
sem_type.adb (Write_Overloads): Improve display of candidate interpretations.
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
* sem_type.adb (Write_Overloads): Improve display of candidate
interpretations.
(Add_One_Interp): Do not add to the list of interpretations aliased
entities corresponding with an abstract interface type that is an
immediate ancestor of a tagged type; otherwise we have a dummy
conflict between this entity and the aliased entity.
(Disambiguate): The predefined equality on universal_access is not
usable if there is a user-defined equality with the proper signature,
declared in the same declarative part as the designated type.
(Find_Unique_Type): The universal_access equality operator defined under
AI-230 does not cover pool specific access types.
(Covers): If one of the types is a generic actual subtype, check whether
it matches the partial view of the other type.
From-SVN: r111096
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions