Re: Ripple effect

[Maciej Sobczak <no.spam@no.spam.com>]

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/