From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a657bb3cf254ae38
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Are 'pragma Export' and access types mutually exclusive?
Date: 1997/08/09
Message-ID: <dewar.871142199@merv>#1/1
X-Deja-AN: 263122287
References: <33EBA058.5680@mathworks.com>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-08-09T00:00:00+00:00
List-Id: <comp.lang.ada>


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.