Compiler incompatability #2

[dennison@telepath.com]

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