Re: Full view of a private partial view cannot be a subtype

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 12/05/2017 09:16 PM, Randy Brukardt wrote:
> 
> Not impossible, just impossible by reading the source code. The Claw
> documentation materializes all of the inherited routines so that there is a
> cohesive list of all of the operations available for each time in the
> documentation. (Needless to say, this documentation is generated by an
> automated tool with annotations.)

By "know", I mean keep in my head. Like Dijkstra, I have only a small brain, and 
have to figure out ways to deal with my inability to keep an entire S/W system 
in my head at once. So for me, at least, even with that it's impossible. You 
big-brained types might have it easier.

> Reading the super-secret documentation would help, I hope. ;-)

For the real cases I've experienced recently, I think I read everything available.

> I realize that real programmers don't need (or look at) documentation, but
> it is impossible to convey everything important in Ada source code!

Clearly that needs to be fixed in Ada 2X.

-- 
Jeff Carter
"I did not rob a bank. If I'd robbed a bank, everything
would be great. I tried to rob a bank, is what happened,
and they got me."
Take the Money and Run
139