Re: Are 'pragma Export' and access types mutually exclusive?

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Tom asks a question about export. here is a simplifid version of his
program:

procedure z is

  type x is access procedure;

  procedure l;
  pragma Export (C, L);

  procedure l is begin null; end;
  xx : x;

begin
  xx := l'access;
end;


This program is most certainly illegal, since conventions must match for
the use of access (that's obvious if you think about it, you cannot have
an access values that sometimes points to convention C things, and sometimes
to convention Ada things (how would you call such a beast if the calling
conventions were different?)

The program is easily fixed by making sure the conventions match.