OSDN Git Service

2005-11-14 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 15 Nov 2005 14:03:33 +0000 (14:03 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 15 Nov 2005 14:03:33 +0000 (14:03 +0000)
commit1d3bb5e84c293ea07672f62190a08bd58fed9a43
tree79ffb41352e27bf432af102b49193e2222f5ae6e
parent2d7549e6de37ef8c77640a33bdb8aa146fef01ef
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,

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