> From: "C. Daniel Cooper" <[log in to unmask]>

> 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?

Perhaps we could make pragma Export (Ada, ...) do what you want?
(pragma Import has additional semantics for convention Ada).