Re: An observation of Ada (may offend)

[dewar@cs.nyu.edu (Robert Dewar)]

Regarding the suggestion:  pragma Restrictions(No_Unspecified_Child_Units)


Presumably the right form of this pragma is

   Pragma Child_UNits (unit, unit, unit);

with the meaning that only the named units would be allowed as children.
This is a perfectly legitimate pragma, and one that could be implemented.

But I wonder about this whole concern. After all you can always go and
edit out the "abs" of Norm's abs private, or add to the list of child
units in the above pragma.

No no, you say, your configuration management tool prevents this kind
of improper editing of the source. OK, if this is the case, then how
about this wonderful tool also restrict what child units can be supplied.

THe language can't do everything here!