2007-08-16 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Aug 2007 12:20:50 +0000 (12:20 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Aug 2007 12:20:50 +0000 (12:20 +0000)
commit0c57415b10f843383cc770ffd509ea228cc3ec52
tree9395db24ad0942b3866ac6ef30de0f3c9fd70cf2
parent63cca77baf4322d3530064095608986ee14907d8
2007-08-16  Ed Schonberg  <schonberg@adacore.com>

* sem_disp.adb (Check_Dispatching_Operation): If the operation
implements an operation inherited from a progenitor interface, verify
that they are subtype-conformant.

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