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,4f6c032f8ec25cc8
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Rational Apex and RM 7.4(2)
Date: 1998/08/06
Message-ID: <dewar.902414127@merv>#1/1
X-Deja-AN: 378524374
References: <6qbomp$s9k$1@nnrp1.dejanews.com>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 902414318 26898 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-08-06T00:00:00+00:00
List-Id: <comp.lang.ada>

Andrew says

<<Has anyone else come across this problem (if it is a problem), or are
we doing something "naughty"?

  package A is
    ...
    package B is
       type Foo is private;
       ...
    private
       type Foo is new System.Address;
    end B;

    Bar : constant B.Foo;
    ...
  private
    pragma Import (C, Bar, "C_Bar");
  end A;
>>


You are not doing anything naughty, but you are doing something that not
all compilers may support, since a compiler is given a lot of freedom in
what it implements using pragma Import.

GNAT certainly regards the support of this particular case of pragma
Import as an important one, but it is certainly true that compilers that
are less capable in this area may legitimately choose not to implement
this useful feature. You should complain to your vendor, and make it
clear that you would like them to implement it. It is hard to believe
that it is hard to do, so this is most likely an oversight that can 
easily be corrected.

Robert Dewar
Ada Core Technologies

Note that not even pragma Interface (C, ...) to anything at all is a required
part of the Ada 95 standard, so any time you use pragma Interface , you must
verify that you are using a form of it that is supported by the particular
compiler you intend to use.