> 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).