| commit | 5c63aafa2e9b9854ee03481d33b8cc009c818e4e | |
| author | Hristian Kirtchev <kirtchev@adacore.com> | |
| Wed, 20 Apr 2016 10:19:57 +0000 (20 10:19 +0000) | ||
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | |
| Wed, 20 Apr 2016 10:19:57 +0000 (20 12:19 +0200) | ||
| tree | fbc908f1eaee497bacf39f846a2908c0f26aa8eb | treesnapshot (tar.gz zip) |
| parent | 7e22a38c2f5f173ac220cd9ec70b55ce08243797 | commitdiff |
sem_ch12.adb (Qualify_Universal_Operands): New routine.
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Qualify_Universal_Operands): New routine.
(Save_References_In_Operator): Add explicit qualifications in
the generic template for all operands of universal type.
* sem_type.adb (Disambiguate): Update the call to Matches.
(Matches): Reimplemented.
* sem_util.ads, sem_util.adb (Yields_Universal_Type): New routine.
From-SVN: r235254
2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Qualify_Universal_Operands): New routine.
(Save_References_In_Operator): Add explicit qualifications in
the generic template for all operands of universal type.
* sem_type.adb (Disambiguate): Update the call to Matches.
(Matches): Reimplemented.
* sem_util.ads, sem_util.adb (Yields_Universal_Type): New routine.
From-SVN: r235254