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,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5688b1be7f7d4d30,start
X-Google-Attributes: gid103376,public
From: dennison@telepath.com
Subject: Compiler incompatability #2
Date: 1999/05/19
Message-ID: <7hv5bo$i73$1@nnrp1.deja.com>#1/1
X-Deja-AN: 479726482
X-Http-Proxy: 1.0 x25.deja.com:80 (Squid/1.1.22) for client 204.48.27.130
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Wed May 19 20:02:01 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.6 [en] (WinNT; I)
Date: 1999-05-19T00:00:00+00:00
List-Id: <comp.lang.ada>

I have just come across another incompatability between Gnat and
ObjectAda. This one has to do with generic package instantiations.

It seems that objects within an instantiation of a generic package in
the spec of a package are visable to other packages under ObjectAda
meerly by with'ing the enclosing package. However, Gnat doesn't give
visibility to such objects unless the generic instantiation is also
with'ed. Does anyone know which is right? I hope this isn't a grey area
in the language.

Example:

package A is
   package B is new B_Generic (...


with A;
with A.B;  -- Gnat requires this line, ObjectAda doesn't

package body C is
   ...
      return A.B.Object;
   ...

--
T.E.D.


--== Sent via Deja.com http://www.deja.com/ ==--
---Share what you know. Learn what you don't.---