From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7c93275b574a5651
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-09-07 21:16:11 PST
Newsgroups: comp.lang.ada
Path: 
 nntp.gmd.de!Germany.EU.net!news.dfn.de!scsing.switch.ch!swidir.switch.ch!univ-lyon1.fr!jussieu.fr!math.ohio-state.edu!howland.reston.ans.net!swrinde!ihnp4.ucsd.edu!munnari.oz.au!news.uwa.edu.au!hawk!hawk!del
From: del@adied.oz.au (D Elson)
Subject: Re: Ada9x Question/Comment FOR EXPERTS
Message-ID: <del.778749685@hawk>
Organization: ADI Ltd. - Electronics Division
References: <1994Sep1.234903.1591@enterprise.rdd.lmsc.lockheed.com>
 <3476d0$7ea@gnat.cs.nyu.edu>
Date: Mon, 5 Sep 1994 07:21:25 GMT
Date: 1994-09-05T07:21:25+00:00
List-Id: <comp.lang.ada>

dewar@cs.nyu.edu (Robert Dewar) writes:

>If I depend on a child spec, which needs (at the spec level remember)
>visibility to some private declarations, which in turn require with
>dependencies on some units, then clearly all my clients are dependent
>on these units as well. There is no way around that.

No, there is not.

I have 2 more words to add to the discussion:  "types packages"

Del