projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d481053) | patch
sem_eval.adb: Implement d.f flag
authorRobert Dewar <dewar@adacore.com>
Tue, 15 Nov 2005 14:03:33 +0000 (15:03 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 15 Nov 2005 14:03:33 +0000 (15:03 +0100)
commit0356699b567f9e97ddb50e55ea623676af9a44d4
tree79ffb41352e27bf432af102b49193e2222f5ae6etree
parentd4810530b804ead50e2f99757405141278667d3bcommit | diff
sem_eval.adb: Implement d.f flag

2005-11-14  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb: Implement d.f flag
(Subtype_Statically_Match): A generic actual type has unknown
discriminants when the corresponding actual has a similar partial view.
If the routine is called to validate the signature of an inherited
operation in a child instance, the generic actual matches the full view,

From-SVN: r107004
gcc/ada/sem_eval.adb diff | blob | history