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

[Simon Wright <simon@pushface.org>]

Robert Eachus <rieachus@comcast.net> writes:

> Several decades ago, there was a fun paper: "Nesting in Ada is for the
> birds." by Lori Clarke
> et. al. https://dl.acm.org/citation.cfm?id=948651

Interesting! My own (subconscious) guidelines mean nesting is almost
absent; for a start, most subprograms are fairly small.

It always worries me when a nested subprogram makes uplevel references
to its parent's variables.

I imagine that most of us would regard a main program all of whose
called subprograms were nested inside it (recursively) with horror.

That said, completely forbidding declare blocks is going a step too far!