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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,89cb2d7ffc7421c9
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!news.glorb.com!solnet.ch!solnet.ch!news-zh.switch.ch!switch.ch!cernne03.cern.ch!cern.ch!news
From: Maciej Sobczak <no.spam@no.spam.com>
Newsgroups: comp.lang.ada
Subject: Re: Ripple effect
Date: Thu, 24 Aug 2006 11:21:31 +0200
Organization: CERN - European Laboratory for Particle Physics
Message-ID: <ecjr2r$8vd$1@sunnews.cern.ch>
References: <xF4Hg.924524$084.568220@attbi_s22>
NNTP-Posting-Host: abpc10883.cern.ch
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: sunnews.cern.ch 1156411291 9197 (None) 137.138.37.241
X-Complaints-To: news@sunnews.cern.ch
User-Agent: Thunderbird 1.5.0.5 (X11/20060801)
In-Reply-To: <xF4Hg.924524$084.568220@attbi_s22>
Xref: g2news2.google.com comp.lang.ada:6333
Date: 2006-08-24T11:21:31+02:00
List-Id: <comp.lang.ada>

Jeffrey R. Carter wrote:

> I recall that during the Ada-9X revision process, it was proposed that 
> primitive operators of a type have this kind of visibility. IIRC, one of 
> the reasons that this was not accepted was that it would lead to Ripple 
> effects: adding or removing a unit from a context clause could change 
> one legal program to a different legal program.

Why?
If you remove some use clause that might affect the visibility of some 
primitive operation, then it will also remove the whole type that is 
involved in a given expression, rendering the whole as illegal.

Could you provide a short example of this Ripple effect?

-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/