Re: Ada202X: Easy to use "UML private"-like components

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:1im71djlxwm94$.fbjv1si7kmvj$.dlg@40tude.net...
> On Sun, 23 Jun 2013 09:12:53 -0400, Robert A Duff wrote:
>
>> It is also the reason for the private part kludge: the compiler sees
>> the size of the full type for a private type (assuming it is known
>> at compile time).  But this reasoning makes no sense to me, because
>> that's not how Ada compilers work.  Any reasonable implementation
>> of generics and inlining needs to look at bodies.  So full types
>> should be in bodies, and compilers should look there (at least
>> in optimizing mode) to find out their size.
>
> ... or there should be no generics.
>
> The kludge here rather is generics and inlining, both basically are macro
> expansions.

Or better, they can be done at bind time without any impact on what 
compilers look at. Bob is just plain wrong in the above -- perhaps that is 
how GNAT and AdaMagic works, but there is no reason that an Ada compiler has 
to (or *ought* to) work that way.

                   Randy.