projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b8b727) | patch
sem_disp.adb (Check_Dispatching_Operation): If the operation implements an operation...
authorEd Schonberg <schonberg@adacore.com>
Thu, 16 Aug 2007 12:20:50 +0000 (14:20 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 16 Aug 2007 12:20:50 +0000 (14:20 +0200)
commitace980d5d8b6443b4e0d8d5b9cdcd34083c5e09b
tree9395db24ad0942b3866ac6ef30de0f3c9fd70cf2tree
parent3b8b72709570294dbf39a767446abe0bdf17c40fcommit | diff
sem_disp.adb (Check_Dispatching_Operation): If the operation implements an operation inherited from a progenitor interface...

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.

From-SVN: r127549
gcc/ada/sem_disp.adb diff | blob | history