> 2) Language Revision
> --------------------
> This issue naturally leads to the question: can the next language
> revision for Ada provide the missing guarantee, assuring a match
> in comparisons of subprogram access values that designate the same
> subprogram?

No. Over my dead body.

                        Randy Brukardt.