Re: Package's private parts and protected types

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Randy Brukardt" <randy@rrsoftware.com> writes:

>...(For Janus/Ada, at least, every source file is compiled 
> separately, and code is generated as necessary without needing anything 
> other than direct semantic dependencies to have been previously compiled. 
> That model is impossible for separate private parts; the specification would 
> not contain enough information to generate any code or any code for calls to 
> it.)

The Ada 83 model seemed to be that the compiler doesn't need to look at
with'ed bodies to generate code.  But that's bogus.  All Ada compilers
other than Janus/Ada look at bodies to generate code for generic
instantiations.  And you need to look at bodies to implement
inlining properly.  (Does Janus/Ada implement inlining?)
Similarly for any other inter-package optimizations.

Given that compilers do, in fact, look at bodies of with'ed packages,
they could use the same mechanism for separate private parts.
Or, if private parts didn't exist, to look at bodies to find
the completion of private types, for example.

- Bob